TY  - RPRT
TI  - Formal Design of Robot Integrated Task and Motion Planning
AU  - Rafael Rodrigues da Silva
AU  - Bo Wu
AU  - Hai Lin
PY  - 2016
UR  - https://arxiv.org/abs/1604.05657
ID  - 1604.05657
ER  -