Max Robotics — Global Service Robot Directory + US Certification

About

Indranil Saha is a prominent researcher specializing in formal methods for robotics, with a particular focus on multi-robot motion planning, linear temporal logic (LTL) specifications, and automated verification techniques. His work sits at the intersection of formal verification, control theory, and distributed robotics systems, addressing one of the field's most pressing challenges: enabling teams of robots to accomplish complex missions with mathematically guaranteed correctness. Saha's most influential contribution, a compositional motion planning framework using Satisfiability Modulo Theories (SMT), has garnered 127 citations and established a foundational approach to encoding multi-robot behavior through safe LTL specifications. His subsequent work on scalable algorithms, including the incremental planner IMPlan and lazy SMT-based motion planning, demonstrates a sustained commitment to bridging theoretical rigor with practical scalability. The DRONA framework (73 citations) further extended his impact by providing high-assurance programming tools for distributed mobile robotics systems. More recently, Saha has advanced energy-aware planning and heuristic search methods like MT* for LTL-constrained multi-robot coordination. Across his portfolio, his research has accumulated over 430 citations, reflecting significant influence on how the robotics community approaches formal specification and automated planning. His contributions make complex, provably correct robotic behavior increasingly accessible to real-world deployment.