Max Robotics — Global Service Robot Directory + US Certification

About

Gabriel Santos is a leading researcher in formal verification and probabilistic model checking, with a focus on stochastic games and multi-agent systems. His work centers on developing automated techniques to verify and synthesize strategies in systems where rational agents interact under uncertainty. Santos’s most impactful contribution is the co-development of **PRISM-games 3.0**, a major release of the widely used model checker that introduced support for concurrent stochastic games, equilibria reasoning, and real-time constraints. This tool, cited over 66 times, enables rigorous analysis of competitive and collaborative behaviors in domains like robotics, economics, and cybersecurity. His research extends to automatic verification of concurrent stochastic systems, addressing the complexity of modeling agents acting simultaneously rather than in turn-based fashion. Santos has also advanced multi-player equilibria verification, ensuring that strategic outcomes in games can be formally checked. With a growing citation record and a focus on bridging theoretical game theory with practical tool support, his work is essential reading for students and researchers in formal methods, AI safety, and multi-agent systems.