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]
@inproceedings{PillQ13,
title = {Behavioral Diagnosis of LTL Specifications at Operator Level},
author = {Ingo Pill and Thomas Quaritsch},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6595},
researchr = {https://researchr.org/publication/PillQ13},
cites = {0},
citedby = {0},
pages = {1053-1059},
booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
editor = {Francesca Rossi},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-633-2},
}