Mehdi Kargahi
Papers
2
Total Citations
8
H-Index
2
About
Mehdi Kargahi is a leading researcher in cyber-physical systems, with a particular focus on the intersection of robotics, formal verification, and runtime adaptation. His work addresses the critical challenge of ensuring safety and reliability in autonomous systems that must operate in dynamic, unpredictable environments. A major contribution is his pioneering approach to verifying robotic software built on the Robot Operating System (ROS), where he employs an actor-based methodology using the Rebeca modeling language to formally prove system correctness—work that has garnered foundational citations in the field. Kargahi has also advanced the state of the art in runtime verification through his development of adaptive dynamic approximation techniques, which dramatically reduce the computational overhead of model checking during operation, enabling real-time safety assurance without sacrificing performance. His research, which bridges formal methods and practical robotics, has been recognized for its potential to make verified autonomy feasible in safety-critical applications like healthcare and manufacturing. With his most-cited paper accumulating 6 citations and his ongoing work shaping the future of dependable cyber-physical systems, Kargahi stands out as a key figure in the drive toward provably safe autonomous robotics.
Research Focus
Key Achievements
Top Papers
- 1
- 2