Bridging the gap between single- and multi-model predictive runtime verification

DOI10.1007/s10703-022-00395-7zbMath1522.68315OpenAlexW4293828555MaRDI QIDQ6108431

Viviana Mascardi, M. Fisher, Matt Luckcuck, Angelo Ferrando, Fabio Papacchini, Rafael C. Cardoso, Marie Farrell

Publication date: 29 June 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-022-00395-7

zbMATH Keywords

roboticsmulti-modelruntime verificationpredictive runtime verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Organising LTL monitors over distributed systems with a global clock
• A theory of timed automata
• Quantitative monitoring of STL with edit distance
• Clairvoyant monitoring for signal temporal logic
• Comparing trace expressions and linear temporal logic for runtime verification
• Runtime Verification of Component-Based Systems
• On the Merits of Temporal Testers
• Comparing LTL Semantics for Runtime Verification
• Monitoring of Real-Time Properties
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Quantifying conformance using the Skorokhod metric
• Computer Aided Verification

This page was built for publication: Bridging the gap between single- and multi-model predictive runtime verification