Max Robotics — Global Service Robot Directory + US Certification

About

Dipankar Maity is a researcher whose work sits at the intersection of robotics, formal methods, and game-theoretic control systems. His research primarily focuses on robotic motion planning, temporal logic-based task specification, and pursuit-evasion game theory, contributing meaningful advances to how autonomous systems navigate complex, dynamic environments. Maity's most recognized contributions center on applying Metric Interval Temporal Logic (MITL) and timed automata to robot motion planning. His 2016 paper on timed automata approaches for MITL-based motion planning has garnered 37 citations, establishing a constructive framework for encoding bounded-time, high-level task specifications into actionable robot trajectories. Complementing this, his 2015 work on optimization-based path planning with timed temporal constraints — cited 16 times — introduced methods for navigating dynamic environments while satisfying complex temporal requirements such as safety guarantees and task sequencing. Beyond motion planning, Maity has made notable contributions to game-theoretic problems in autonomous systems. His 2021 paper on the Partial Information Target Defense Game, with 27 citations, extends classical pursuit-evasion theory by addressing realistic scenarios where defenders operate under incomplete information. Together, these works reflect a research program committed to making autonomous agents both formally verifiable and strategically robust in uncertain, real-world conditions.