Now showing items 1-1 of 1

    • Synthesis of Integrated Task and Motion Plans from Plan Outlines Using SMT Solvers 

      Chaudhuri, Swarat; Kavraki, Lydia E.; Moll, Mark; Nedunuri, Srinivas; Prabhu, Sailesh; Wang, Yue (2015-01-09)
      We present a new approach to integrated task and motion planning (ITMP) for robots performing mobile manipulation. In our approach, the user writes a high-level specification that captures partial knowledge about a mobile ...