Srinivas Nedunuri

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 1

Top Topics

Partial Order Planner

Planning Process

Motion Synthesis

Top Venues

Publications

Douglas R. Smith, Srinivas Nedunuri
Deductive Model Refinement. NFM (2024)
Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki
SMT-based synthesis of integrated task and motion plans from plan outlines. ICRA (2014)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Theory and Techniques for Synthesizing a Family of Graph Algorithms SYNT (2012)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM (2012)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods (2010)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC (2010)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods (2009)
Srinivas Nedunuri, William R. Cook
Synthesis of fast programs for maximum segment sum problems. GPCE (2009)
Jia Liu, Don S. Batory, Srinivas Nedunuri
Modeling Interactions in Feature Oriented Software Designs. FIW (2005)
Srinivas Nedunuri
The functional approach to programming. ACM SIGSOFT Softw. Eng. Notes 25 (3) (2000)