Life-Long Optimization of the Symbolic Model of Indoor Environments for a Mobile Robot | IEEE Journals & Magazine | IEEE Xplore