From LTL to rLTL monitoring: improved monitorability through robust semantics

Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions. Bauer et al. introduced an influential framework for monitoring Linear Temporal Logic (LTL) properties based on a three-valued semantics for a fini...

Descripción completa

Detalles Bibliográficos
Autores principales: Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9794548/
https://www.ncbi.nlm.nih.gov/pubmed/36590854
http://dx.doi.org/10.1007/s10703-022-00398-4

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9794548/
https://www.ncbi.nlm.nih.gov/pubmed/36590854
http://dx.doi.org/10.1007/s10703-022-00398-4

Ejemplares similares