Bittner, Benjamin, Marco Bozzano, Alessandro Cimatti, and Xavier Olive. 2021. “Symbolic Synthesis of Observability Requirements for Diagnosability”. Proceedings of the AAAI Conference on Artificial Intelligence 26 (1):712-18. https://doi.org/10.1609/aaai.v26i1.8225.