Publications
Towards Robust Autonomous Robots using Statistical Model Checking
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, and Matteo Palmas
European Robotics Conference, Rimini, Italy, 2024
Challenges in situation understanding and scene perception
Razane Azrou, Selma Kchir, Raphaël Lallement and Matteo Morellii
European Robotics Conference, Rimini, Italy, 2024
Modeling Robot Control Architectures for Verification and Monitoring
Stefano Bernagozzi , Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale and Armando Tacchella
European Robotics Conference, Rimini, Italy, 2024