Dhaval Gujarathi

Papers

Total Citations

H-Index

About

Dhaval Gujarathi is a robotics researcher whose work bridges the gap between formal logic and practical motion planning. His primary research areas include multi-robot path planning, temporal logic specifications, and heuristic search algorithms for autonomous systems. Gujarathi’s major contribution is the development of the **T*** family of algorithms, which integrate Linear Temporal Logic (LTL) specifications with heuristic-based search to enable robots to satisfy complex, high-level mission goals—not just navigate from point A to B. His foundational paper, *“T*: A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications”* (2020, 22 citations), introduced this novel approach, while his follow-up work, *“MT*: Multi-Robot Path Planning for Temporal Logic Specifications”* (2022, 19 citations), extended the framework to coordinated multi-robot teams. These works are notable for transforming automata-theoretic model checking into computationally tractable, real-world motion planning solutions. With a growing citation impact and a clear trajectory from single-robot to multi-robot systems, Gujarathi is establishing himself as a key innovator in logic-driven autonomous navigation.