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]
Abstract is missing.