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

Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli

Browse the full IROS paper archive.