Formal Verification of Obstacle Avoidance and Navigation of Ground Robots.
Stefan MitschKhalil GhorbalDavid VogelbacherAndré PlatzerPublished in: CoRR (2016)
Keyphrases
- obstacle avoidance
- formal verification
- mobile robot
- model checking
- unknown environments
- path planning
- autonomous vehicles
- trajectory planning
- multi robot
- visual navigation
- indoor environments
- autonomous robots
- model checker
- space exploration
- robotic systems
- symbolic model checking
- bounded model checking
- potential field
- automated verification
- visually guided
- autonomous navigation
- robot control
- route selection
- outdoor environments
- collision avoidance
- motion planning
- dynamic environments
- collision free
- temporal logic
- simultaneous localization and mapping
- formal specification
- multi agent systems