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

linear temporal logicrobustnessruntime 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)

• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Semantics and algorithms for parametric monitoring
• Theoretical Aspects of Computing - ICTAC 2004
• Assumption-based runtime verification
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Model predictive monitoring of dynamical systems for signal temporal logic specifications
• Towards the exact complexity of realizability for safety LTL
• 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)