Ingo Pill, Thomas Quaritsch. Behavioral Diagnosis of LTL Specifications at Operator Level. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 1053-1059, IJCAI/AAAI, 2013. [doi]
Abstract is missing.