Max Robotics — Global Service Robot Directory + US Certification

About

Pavithra Prabhakar is a leading researcher at the intersection of formal methods, robotics, and autonomous systems, with a primary focus on developing rigorous, logic-based frameworks for robot planning and control. Her work bridges the gap between high-level temporal logic specifications and the low-level dynamics of physical systems, enabling robots to execute complex tasks with formal guarantees. A key contribution is her pioneering method for patching task-level robot controllers using μ-calculus formulas, which allows for efficient local repairs of strategies in GR(1) games without full recomputation. She has also made significant advances in applying metric temporal logic (MTL) to synthesize switching controllers for nonlinear dynamical systems, a crucial step for designing reliable high-level planners. In the applied domain, Prabhakar has tackled optimal multi-robot path planning for agricultural tasks, such as pesticide spraying, where she formulates problems that account for varying infection levels, robot motion dynamics, and capacity constraints. Her work on time-optimal multi-quadrotor trajectory planning and coverage path planning for agricultural fields demonstrates a commitment to real-world impact. With over 90 citations across her most-cited works, Prabhakar’s research is widely recognized for its theoretical depth and practical relevance, making her a prominent figure in formal synthesis and robotic control.