Ramtin Raji Kermani
Papers
1
Total Citations
15
H-Index
1
About
Ramtin Raji Kermani is a leading researcher in formal methods for robotics, with a focus on Linear Temporal Logic (LTL)-based motion and mission planning. His seminal 2013 paper, "A graphical language for LTL motion and mission planning," introduced an intuitive, visual framework that bridges the gap between high-level task specifications and low-level robot control. This work has been cited 15 times and is recognized for making LTL synthesis more accessible to roboticists, enabling scalable and expressive planning for complex missions. Kermani's contributions lie in developing graphical representations that simplify the translation of temporal logic constraints into executable robot behaviors, advancing the field of formal verification in autonomous systems. His research has practical implications for multi-robot coordination, surveillance, and industrial automation, where rigorous mission guarantees are essential. By democratizing LTL-based planning, Kermani has helped shape how researchers and engineers approach high-level robot reasoning, making him a notable figure in the intersection of formal methods and robotics.
Research Focus
Key Achievements
Top Papers
- 1A graphical language for LTL motion and mission planning15 citations · 2013