TeSSLa-ROS-bridge -- runtime verification of robotic systems

DOI10.1007/978-3-031-47963-2_23MaRDI QIDQ6605371zbMATH OpenFDO

Authors Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, M. Schmitz

Publication date 13 September 2024

Full work available at URL https://doi.org/10.1007/978-3-031-47963-2_23

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A brief account of runtime verification
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Quantitative monitoring of STL with edit distance
• Symbolic runtime verification for monitoring under uncertainties and assumptions
• TeSSLa: temporal stream-based specification language

This page was built for publication: TeSSLa-ROS-bridge -- runtime verification of robotic systems

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