Marco Lampacrescia

According to our database, Marco Lampacrescia authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering.

Michaela Klauck, Christian Henkel, Marco Lampacrescia, Ginny Jorgensen

Proceedings of the Towards Autonomous Robotic Systems - 26th Annual Conference, 2025

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

Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

2024

Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.

Marco Lampacrescia, Michaela Klauck, Matteo Palmas

Proceedings of the Bridging the Gap Between AI and Reality, 2024