Henkel, C., Lampacrescia, M., Klauck, M. and Morelli, M. (2025) “AS2 FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy”, in. doi:10.1109/IROS60139.2025.11246823.
Chicago Manual of Style 17th edition (full note)Henkel, Christian, Marco Lampacrescia, Michaela Klauck, and Matteo Morelli. “AS2 FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy”. In . https://doi.org/10.1109/IROS60139.2025.11246823.
American Psychological Association 7th editionHenkel, C., Lampacrescia, M., Klauck, M., & Morelli, M. (2025, October 19). AS2 FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy. https://doi.org/10.1109/IROS60139.2025.11246823
Modern Language Association 9th editionHenkel, C., M. Lampacrescia, M. Klauck, and M. Morelli. AS2 FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy. 2025, https://doi.org/10.1109/IROS60139.2025.11246823.
ISO-690 (author-date, Deutsch)HENKEL, Christian, Marco LAMPACRESCIA, Michaela KLAUCK and Matteo MORELLI, 2025. AS2 FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy. In: . 19 October 2025