| Towards a verifiable toolchain for robotics C Street, Y Warsame, M Mansouri, M Klauck, C Henkel, M Lampacrescia, ... Proceedings of the AAAI Symposium Series 4 (1), 398-403, 2024 | 6 | 2024 |
| Towards verifying robotic systems using statistical model checking in STORM M Lampacrescia, M Klauck, M Palmas International Conference on Bridging the Gap between AI and Reality, 446-467, 2024 | 6 | 2024 |
| Method for calibrating a multi-sensor system using an artificial neural network H Xiao, M Lampacrescia US Patent 11,415,433, 2022 | 2 | 2022 |
| AS2FM: Enabling statistical model checking of ROS 2 systems for robust autonomy C Henkel, M Lampacrescia, M Klauck, M Morelli 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2025 | 1 | 2025 |
| Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering M Klauck, C Henkel, M Lampacrescia, G Jorgensen Annual Conference Towards Autonomous Robotic Systems, 237-244, 2025 | | 2025 |
| Towards life-long learning of posture control for s-EMG prostheses M Lampacrescia arXiv preprint arXiv:1511.07785, 2015 | | 2015 |
