Keyphrases
- mobile robot
- obstacle avoidance
- path planning
- mobile robot navigation
- autonomous robots
- indoor environments
- unknown environments
- mobile robotics
- office environment
- dynamic environments
- multi robot
- robotic systems
- delay insensitive
- motion control
- object recognition
- high level
- autonomous navigation
- map building
- robot control
- motion planning
- mobile robot localization
- robot motion
- robotic platform
- loop closing
- specification language
- sensory information
- outdoor environments
- data sets
- formal specification
- natural language
- case study