Formal design of robot integrated task and motion planning
| Title | Formal design of robot integrated task and motion planning |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | da Silva, Rafael Rodrigues, Wu, Bo, Lin, Hai |
| Conference Name | Decision and Control (CDC), 2016 IEEE 55th Conference on |
| Publisher | IEEE |
| Keywords | 1446288 |
| Citation Key | da2016formal |