Formal verification of safety behaviours of the outdoor robot ravon.
Martin ProetzschKarsten BernsTobias SchueleKlaus SchneiderPublished in: ICINCO-RA (1) (2007)
Keyphrases
- formal verification
- model checking
- mobile robot
- outdoor environments
- automated verification
- model checker
- human robot interaction
- vision system
- bounded model checking
- autonomous robots
- multi robot
- robot navigation
- autonomous mobile
- symbolic model checking
- humanoid robot
- robot control
- robotic systems
- natural environment
- path planning
- position and orientation
- robot manipulators
- temporal logic
- simulated robot
- real time
- outdoor scenes
- autonomous navigation
- simultaneous localization and mapping
- surveillance system
- dynamic environments
- image sequences