Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001. Abstraction-Based Synthesis of Controllers for Approximate Opacity. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7930-7936, IEEE, 2023. [doi]
Abstract is missing.