Bittner, B. (2021) “Symbolic Synthesis of Observability Requirements for Diagnosability”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 712–718. doi: 10.1609/aaai.v26i1.8225.