Talks and Poster Presentations (with Proceedings-Entry):
E. Zapridou, E. Bartocci, P. Katsaros:
"Runtime Verification of Autonomous Driving Systems in CARLA";
Talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification,
Los Angeles, CA (Virtual);
2020-10-06
- 2020-10-09; in: "Proc. of RV 2020: the 20th International Conference on Runtime Verification",
Springer,
12399
(2020),
ISBN: 978-3-030-60507-0;
172
- 183.
English abstract:
Urban driving simulators, such as CARLA, provide 3-D environments and useful tools to easily simulate sensorimotor control systems in scenarios with complex multi-agent dynamics. This enables the design exploration at the early system development stages, reducing high infrastructure costs and high risks. However, due to the high-dimensional input and state spaces of closed-loop autonomous driving systems, their testing and verification is very challenging and it has not yet taken advantage of the recent developments in theory and tools for runtime verification. We show here how to integrate the recently introduced 𝚛𝚝𝚊𝚖𝚝 library, for runtime verification of STL (Signal Temporal Logic) specifications, with the CARLA simulator. Finally, we also present the obtained results from monitoring quantitatively interesting requirements for an experimental Adaptive Cruise Control system tested in CARLA.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-60508-7_9