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

Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering. - Michaela Klauck; Christian Henkel; Marco Lampacrescia; Ginny Jorgensen (TAROS, 2025)