Srinivas Nedunuri
Papers
1
Total Citations
62
H-Index
1
About
Srinivas Nedunuri is a leading researcher in robotics and artificial intelligence, with a primary focus on integrated task and motion planning (ITMP) for autonomous systems. His most influential work, "SMT-based synthesis of integrated task and motion plans from plan outlines" (2014, 62 citations), introduced a groundbreaking approach that bridges high-level symbolic reasoning with low-level geometric constraints. By leveraging Satisfiability Modulo Theories (SMT), Nedunuri enables robots to synthesize feasible plans from partial, user-provided specifications—a critical advance for mobile manipulation in unstructured environments. This work has become a cornerstone for researchers tackling the long-standing challenge of combining discrete task planning with continuous motion control. Nedunuri’s contributions are particularly notable for their practical impact: his methods allow robots to reason about complex spatial and temporal constraints simultaneously, reducing the need for exhaustive manual programming. His research continues to shape the field of automated planning, offering elegant solutions for real-world robotics applications where efficiency and adaptability are paramount.
Research Focus
Key Achievements
Top Papers
- 1SMT-based synthesis of integrated task and motion plans from plan outlines62 citations · 2014