Keyphrases
- autonomous vehicles
- path planning
- obstacle avoidance
- visual navigation
- underwater vehicles
- land vehicle
- multiagent systems
- route planning
- sat solvers
- intelligent transportation systems
- propositional satisfiability
- satisfiability problem
- mobile robot
- sat problem
- ground vehicles
- outdoor environments
- boolean satisfiability
- robot control
- real time
- sat solving
- max sat
- vehicle speed
- phase transition
- dynamic environments
- search algorithm