software-engineering formal-methods Towards Robust Autonomous Robots Using Statistical Model Checking Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir & Matteo Palmas @ ERF 2024 📄 pdf 🔗 doi: 10.1007/978-3-031-76424-0_25