Pill and Quaritsch. "Behavioral Diagnosis of LTL Specifications at Operator Level." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Pill and Quaritsch. "Behavioral Diagnosis of LTL Specifications at Operator Level." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/pill2013ijcai-behavioral/)
BibTeX
@inproceedings{pill2013ijcai-behavioral,
title = {{Behavioral Diagnosis of LTL Specifications at Operator Level}},
author = {Pill, Ingo and Quaritsch, Thomas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {1053-1059},
url = {https://mlanthology.org/ijcai/2013/pill2013ijcai-behavioral/}
}