@misc{indiciaefcc11f3631ce,
  title = {AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy},
  author = {Christian Henkel and Marco Lampacrescia and Michaela Klauck and Matteo Morelli},
  year = {2025},
  url = {https://arxiv.org/abs/2508.18820},
  note = {Source identifier: 2508.18820}
}