Temporal logic motion planning in unknown environments.
A. I. Medina AyalaSean B. AnderssonCalin BeltaPublished in: IROS (2013)
Keyphrases
- temporal logic
- motion planning
- unknown environments
- mobile robot
- path planning
- obstacle avoidance
- model checking
- collision avoidance
- dynamic environments
- multi robot
- degrees of freedom
- autonomous navigation
- autonomous robots
- mobile robotics
- outdoor environments
- linear temporal logic
- indoor environments
- belief revision
- belief space
- path finding
- collision free
- real time
- free space
- multi modal
- machine learning