Robot Map Verification of a Graph World.
Xiaotie DengEvangelos E. MiliosAndranik MirzaianPublished in: J. Comb. Optim. (2001)
Keyphrases
- topological map
- mobile robot
- world model
- map building
- robot localization
- robot navigation
- robot moves
- loop closing
- graph structure
- directed graph
- structured data
- maximum a posteriori
- physical world
- graph representation
- human robot interaction
- model checking
- indoor environments
- random walk
- graph theory
- monte carlo localization
- autonomous robots
- mobile robot localization
- human beings
- service robots
- simulated robot
- goal directed
- spanning tree
- position and orientation
- graph model
- path planning
- vision system
- skill learning
- sensory systems
- real time
- homology generators
- physical objects
- virtual space
- formal verification
- simultaneous localization and mapping
- mobile robotics
- robot control
- real robot
- obstacle avoidance
- weighted graph
- multi robot
- robotic systems
- image segmentation