Adam Heriban
Papers
2
Total Citations
18
H-Index
2
About
Adam Heriban is a researcher at the forefront of formal verification for distributed robotic systems, with a primary focus on the intersection of swarm robotics and automated reasoning. His major contribution lies in pioneering the application of model checking—a rigorous formal method—to verify the correctness of distributed algorithms for robots operating in continuous Euclidean space. This work, detailed in his most-cited papers (2020 and 2023, each garnering 9 citations), specifically addresses the classic rendezvous problem for two robots equipped with lights, demonstrating that complex, real-world robotic behaviors can be mathematically proven correct rather than merely tested. Heriban’s approach bridges a critical gap between theoretical computer science and practical robotics, offering a powerful tool for ensuring reliability in autonomous systems. His research is notable for being the first successful attempt to adapt model checking to continuous environments, a significant achievement that opens new avenues for verifying safety-critical swarm algorithms. For students and researchers, Heriban’s work exemplifies how formal methods can tame the complexity of distributed robotics, making his contributions essential reading for anyone interested in provably correct autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2