Max Robotics — Global Service Robot Directory + US Certification

About

Matteo Palmas is a researcher at the forefront of verifiable robotics, dedicated to making autonomous systems robust and trustworthy in dynamic, unstructured environments. His work centers on formal verification, particularly through Statistical Model Checking (SMC), to ensure that robot deliberation systems can handle rare or unexpected situations safely. Palmas’s major contributions include pioneering the integration of SMC with the STORM model checker, enabling rigorous probabilistic analysis of robotic behavior. His 2024 paper, "Towards Verifying Robotic Systems Using Statistical Model Checking in STORM," has already garnered 5 citations, reflecting its immediate impact. He further advances this vision in "Towards a Verifiable Toolchain for Robotics" (4 citations), proposing a unified framework to bridge formal methods and practical autonomy. Palmas’s research addresses a critical gap: moving robots beyond simple, controlled tasks toward complex, real-world missions. By championing verifiable toolchains, he is laying the groundwork for a new generation of reliable autonomous systems, making his work essential for students and researchers in robotics, formal verification, and safety-critical AI.