From LTL to rLTL monitoring

DOI10.1145/3365365.3382197MaRDI QIDQ5146368zbMATH OpenOpenAlexFDO

Authors Corto N. Mascle, Daniel Neider, Maximilian Schwenger, Alexander Weinert, Martín G. Zimmermann, Paulo Tabuada

Publication date 25 January 2021

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.08203

zbMATH Keywords

robustnesslinear temporal logicruntime monitoring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited in

(8)

• Model predictive monitoring of dynamical systems for signal temporal logic specifications
• Assumption-based runtime verification
• Towards the exact complexity of realizability for safety LTL
• Semantics and algorithms for parametric monitoring
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Theoretical Aspects of Computing - ICTAC 2004
• Handling of past and future with Phenesthe+

This page was built for publication: From LTL to rLTL monitoring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146368)