Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. Robust Model-Checking of Linear-Time Properties in Timed Automata. In José R. Correa, Alejandro Hevia, Marcos A. Kiwi, editors, LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings. Volume 3887 of Lecture Notes in Computer Science, pages 238-249, Springer, 2006. [doi]
Abstract is missing.