Tianyu Liu, Carla Seatzu, Alessandro Giua. Verification of Current State Opacity using Switching Output Automata. In 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023. pages 2665-2670, IEEE, 2023. [doi]
Abstract is missing.