Formal verification of obstacle avoidance and navigation of ground robots.
Stefan MitschKhalil GhorbalDavid VogelbacherAndré PlatzerPublished in: Int. J. Robotics Res. (2017)
Keyphrases
- obstacle avoidance
- formal verification
- mobile robot
- path planning
- model checking
- unknown environments
- multi robot
- trajectory planning
- autonomous vehicles
- visual navigation
- space exploration
- autonomous robots
- model checker
- automated verification
- dynamic environments
- bounded model checking
- indoor environments
- motion planning
- autonomous navigation
- potential field
- symbolic model checking
- robotic systems
- robot control
- collision free
- route selection
- visually guided
- collision avoidance
- formal methods
- temporal logic
- optimal path