Work

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

Year: 2025

Type: conference-paper

Source: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

DOI: 10.1109/iros60139.2025.11246823

Authors: Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli

Institutions: Robert Bosch (Germany), Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Université Paris-Saclay, CEA Paris-Saclay - Etablissement de Saclay, Laboratoire d'Intégration des Systèmes et des Technologies

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: HORIZON EUROPE Framework Programme

OpenAlex ID: W4416749690

FWCI:

Cites: 31

Cited by:

Related to: