Skip to main content

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