Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann 0002. From LTL to rLTL monitoring: improved monitorability through robust semantics. In Aaron Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh, editors, HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM, 2020. [doi]
@inproceedings{MascleNSTW020,
title = {From LTL to rLTL monitoring: improved monitorability through robust semantics},
author = {Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann 0002},
year = {2020},
doi = {10.1145/3365365.3382197},
url = {https://doi.org/10.1145/3365365.3382197},
researchr = {https://researchr.org/publication/MascleNSTW020},
cites = {0},
citedby = {0},
booktitle = {HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020},
editor = {Aaron Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh},
publisher = {ACM},
isbn = {978-1-4503-7018-9},
}