• AS2FM: Enabling Statistical Mo...

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

Title:
AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
Authors:
Henkel, Christian, Lampacrescia, Marco, Klauck, Michaela, Morelli, Matteo
Source:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Intelligent Robots and Systems (IROS), 2025 IEEE/RSJ International Conference on. :1334-1340 Oct, 2025
Relation:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Database:
IEEE Xplore Digital Library