Explicit Free Space
Two probabilistic models:
- robot motion:
- robot perception:
- P(observation|map, position)
Global map computation:
- given: observations and motion commands
- compute: maximum likelihood map
- expectation step: probability distributions for past and present locations; map is constant
- maximization step: most likely map, based on computed positions
- simultaneous mapping and localization