TY  - RPRT
TI  - AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
AU  - Christian Henkel
AU  - Marco Lampacrescia
AU  - Michaela Klauck
AU  - Matteo Morelli
PY  - 2025
UR  - https://arxiv.org/abs/2508.18820
ID  - 2508.18820
ER  -