Branching Path Planning with Modal Logics.
Everardo BárcenasEdgard Benítez-GuerreroAntonio BenítezJorge de la CallejaMa. Auxilio MedinaPublished in: Computación y Sistemas (2017)
Keyphrases
- path planning
- modal logic
- decision procedures
- mobile robot
- temporal logic
- dynamic environments
- inference rules
- path planning algorithm
- collision avoidance
- branch and bound
- dynamic and uncertain environments
- motion planning
- indoor environments
- obstacle avoidance
- multi robot
- optimal path
- epistemic logic
- default logic
- situation calculus
- path finding
- path planner
- search tree
- multiple robots
- degrees of freedom
- nonmonotonic logics
- collision free
- potential field
- robot path planning
- model checking
- navigation tasks
- search space
- unmanned aerial vehicles
- autonomous navigation
- autonomous vehicles
- modal operators
- configuration space
- kripke models