Towards Robust Autonomous Robots Using Statistical Model Checking. - Michaela Klauck; Ralph Lange; Christian Henkel; Selma Kchir; Matteo Palmas (ERF (1), 2024)

Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. - Marco Lampacrescia; Michaela Klauck; Matteo Palmas (AISoLA, 2024)