Symbolic Synthesis of Observability Requirements for Diagnosability

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive. Symbolic Synthesis of Observability Requirements for Diagnosability. In Jörg Hoffmann, Bart Selman, editors, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press, 2012. [doi]

Abstract

Abstract is missing.