Alban Grastien, Marie-Odile Cordier, Christine Largouët. Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations. In Stefania Bandini, Sara Manzoni, editors, AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings. Volume 3673 of Lecture Notes in Computer Science, pages 270-281, Springer, 2005. [doi]
Abstract is missing.