Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas. Towards Robust Autonomous Robots Using Statistical Model Checking. In Cristian Secchi, Lorenzo Marconi 0001, editors, European Robotics Forum 2024 - 15th ERF, Volume 1, Rimini, Italy, 13-15 March 2024. Volume 32 of Springer Proceedings in Advanced Robotics, pages 137-142, Springer, 2024. [doi]
Abstract is missing.