Francesco Basile, Gianmaria De Tommasi, Sara Dubbioso, Federico Fiorenza. Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case. In IEEE Conference on Control Technology and Applications, CCTA 2025, San Diego, CA, USA, August 25-27, 2025. pages 1-7, IEEE, 2025. [doi]
Abstract is missing.