Publications
Towards Verifying Robotic Systems using Statistical Model Checking in STORM
Marco Lampacrescia, Michaela Klauck, Matteo Palmas
International Symposium on Leveraging Applications of Formal Methods, 2024
Towards Robust Autonomous Robots using Statistical Model Checking
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, and Matteo Palmas
European Robotics Forum, Rimini, Italy, 2024
Challenges in situation understanding and scene perception
Razane Azrou, Selma Kchir, Raphaël Lallement and Matteo Morellii
European Robotics Forum, Rimini, Italy, 2024
Modeling Robot Control Architectures for Verification and Monitoring
Stefano Bernagozzi , Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale and Armando Tacchella
European Robotics Forum, Rimini, Italy, 2024