Marco Lampacrescia

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy

Designing robotic systems to act autonomously in unforeseen environments is a challenging task. This work presents a novel approach to use formal verification, specifically Statistical Model Checking (SMC), to verify system properties of autonomous robots at design-time. We introduce an extension of