Junyao Hou, Xiang Yin 0003, Shaoyuan Li, Majid Zamani. Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 7653-7658, IEEE, 2019. [doi]
Abstract is missing.