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

Christian Henkel, Marco Lampacrescia, Michaela Klauck +1

Designing robotic systems to act autonomously in unforeseen environments is a challenging task. This work presents a novel approach to use formal verification, specifically Statist…