Xiang Yin, Stéphane Lafortune. On two-way observer and its application to the verification of infinite-step and K-step opacity. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 361-366, IEEE, 2016. [doi]
Abstract is missing.