Skip to main content

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

I2EDL: Interactive Instruction Error Detection and Localization