Leila Kalantari

Papers

Total Citations

H-Index

About

Leila Kalantari’s research focuses on the formal verification of autonomous robotic systems, particularly through the lens of high-level programming languages. Her most cited work, "A model checker for verifying ConGolog programs" (2002), introduces a pioneering approach to verifying ConGolog—a sophisticated programming language for robot control that handles concurrency, prioritized execution, interrupts, and dynamic environmental changes beyond a robot’s control. This contribution is foundational for ensuring reliability in complex robotic behaviors, bridging the gap between theoretical verification and practical deployment. While her citation count (5) reflects the niche, specialized nature of her field, the impact of her work lies in its technical depth and relevance to robotics and AI safety. Kalantari’s research addresses critical challenges in autonomous decision-making, offering tools to validate correctness in unpredictable environments. Her efforts underscore the importance of formal methods in robotics, inspiring further work in verification for intelligent systems.