SMT-based synthesis of integrated task and motion plans from plan outlines.

Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

Browse the full ICRA paper archive.