Marco Lampacrescia

Papers

Total Citations

H-Index

About

Marco Lampacrescia is at the forefront of integrating formal verification with autonomous robotics, addressing the critical challenge of ensuring robust robot performance in dynamic, unstructured environments. His research centers on developing verifiable toolchains for robotic deliberation systems, with a particular focus on statistical model checking (SMC) as a means to guarantee reliability even in rare or novel situations. Lampacrescia’s most influential work, "Towards Verifying Robotic Systems Using Statistical Model Checking in STORM" (2024, 5 citations), pioneers the application of the powerful STORM model checker to robotic systems, enabling rigorous probabilistic verification of complex behaviors. Building on this foundation, his follow-up paper "Towards a Verifiable Toolchain for Robotics" (2024, 4 citations) outlines a comprehensive framework for creating end-to-end verifiable robotic systems, from high-level planning to low-level control. Though early in his career, Lampacrescia’s contributions are already shaping the future of safe autonomous systems, offering a path toward robots that can reliably operate beyond controlled laboratory settings. His work represents a vital bridge between formal methods and practical robotics, promising to unlock new levels of autonomy in real-world applications.