Marco Lampacrescia, Michaela Klauck, Matteo Palmas. Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings. Volume 15217 of Lecture Notes in Computer Science, pages 446-467, Springer, 2024. [doi]
Abstract is missing.