Max Robotics — Global Service Robot Directory + US Certification

About

Ezio Bartocci is a leading researcher in formal methods and cyber-physical systems, with a focus on spatio-temporal logic, multi-agent control, and medical cyber-physical systems. His most influential contribution is the development of **SpaTeL** (2015, 111 citations), a spatio-temporal logic for specifying and verifying emergent properties in networked dynamical systems—from robotic teams to synthetic biology. This work provides a rigorous framework for reasoning about complex, distributed behaviors. Bartocci further advanced the field by integrating neural network-based control with spatio-temporal specifications, as seen in his 2021 work (7 citations), which uses STREL logic to synthesize controllers for multi-agent systems. He has also explored probabilistic hyperproperties with rewards (2022, 6 citations) and practical deployment challenges through **DeepRIoT** (2024, 3 citations), a CI/CD architecture for robotic-IoT systems trained via deep reinforcement learning. His research bridges theoretical foundations and real-world applications, including medical cyber-physical systems (2014, 2 citations). With a citation count exceeding 130 across his top papers, Bartocci’s work is essential for students and researchers interested in formal verification, multi-agent systems, and the intersection of logic, learning, and control.