Christiano H. Rezende, Gustavo S. Viana, João Carlos Basilio. A New Algorithm for Time-interval Diagnosability Verification. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 1253-1258, IEEE, 2025. [doi]
Abstract is missing.