Motion planning with Satisfiability Modulo Theories.

William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao

Browse the full ICRA paper archive.