Augusto Sampaio

Papers

Total Citations

H-Index

About

Augusto Sampaio is a leading researcher in the formal verification and simulation of robotic systems, with a particular focus on ensuring safety and reliability in autonomous and swarm robotics. His work bridges the gap between theoretical computer science and practical robotics engineering. Sampaio is the driving force behind the RoboStar Technology, a comprehensive toolbox that integrates proof, simulation, and testing for roboticists. A cornerstone of his contributions is the RoboSim notation—a tool-independent, formal modeling language for robot software simulations. By grounding RoboSim in a formal tock-CSP semantics, Sampaio enables rigorous verification through model checking, theorem proving, and refinement checkers like UPPAAL. His most cited work, “Verified simulation for robotics” (2019, 44 citations), demonstrates how to combine simulation with formal verification to guarantee correct robot behavior. His research on swarm robotics (2018, 10 citations) extends these techniques to multi-agent systems, addressing coordination and emergent behavior. With over 87 total citations across his key papers, Sampaio’s impact is evident in advancing trustworthy robotics—his methods are essential for developers seeking to deploy robots in safety-critical environments, from industrial automation to autonomous exploration.