Cristian Sbrolli
Papers
1
Total Citations
11
H-Index
1
About
Cristian Sbrolli is a researcher at the forefront of formal methods for multi-robot systems, with a focus on safe and predictable human-robot interaction in service settings. His most-cited work, "Formal modeling and verification of multi-robot interactive scenarios in service settings" (2022, 11 citations), addresses a critical gap in robotics: the lack of rigorous development approaches for multi-agent systems operating alongside unpredictable human behavior. Sbrolli’s contributions lie in applying formal verification techniques—such as model checking—to ensure reliability and safety in complex service environments, including healthcare and domestic assistance. By bridging theoretical computer science with practical robotics, his work enables the design of verifiably correct coordination protocols for teams of robots interacting with humans. This achievement is particularly notable for its potential to accelerate the deployment of trustworthy autonomous systems in high-stakes settings. With a growing citation impact, Sbrolli is establishing himself as a key voice in the formal verification of cyber-physical systems, offering foundational tools that empower engineers to build safer, more resilient multi-robot applications.
Research Focus
Key Achievements
Top Papers
- 1