Danish Khalidi
Papers
2
Total Citations
28
H-Index
2
About
Danish Khalidi is a researcher in robotics and autonomous systems, with a core focus on motion planning and temporal logic-based control. His work bridges the gap between classical heuristic search and formal verification, enabling robots to navigate complex environments while satisfying high-level temporal goals. Khalidi is best known for developing the **T*** algorithm, a heuristic search-based motion planner that extends A* to handle Linear Temporal Logic (LTL) specifications. His seminal 2020 paper, *“T: A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications,”* has garnered 22 citations, establishing a foundation for integrating task-level reasoning with low-level path planning. A precursor work from 2018 introduced the T* framework, which has influenced subsequent research in goal-directed, temporally constrained navigation. Khalidi’s contributions are particularly impactful for applications in service robotics, autonomous driving, and multi-agent coordination, where robots must not only reach destinations but also satisfy complex behavioral constraints over time. His work is widely cited in the robotics and formal methods communities, and he continues to advance the state of the art in provably correct, efficient motion planning.
Research Focus
Key Achievements
Top Papers
- 1
- 2