Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.
Yasser ShoukryPierluigi NuzzoAyca BalkanIndranil SahaAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaGeorge J. PappasPaulo TabuadaPublished in: CDC (2017)
Keyphrases
- motion planning
- convex programming
- linear temporal logic
- bounded model checking
- multi robot
- mobile robot
- humanoid robot
- manipulation tasks
- collision free
- path planning
- convex optimization
- temporal logic
- interior point methods
- linear programming
- model checking
- mechanical systems
- degrees of freedom
- robotic arm
- autonomous robots
- dynamic environments
- primal dual
- multi modal
- kernel learning
- robotic systems
- climbing robot
- convex functions
- linear program
- computational complexity
- semidefinite programming
- face recognition