Kuize Zhang, Majid Zamani. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 5615-5619, IEEE, 2017. [doi]
Abstract is missing.