Map API - scalable decentralized map building for robots
The gist of maps - summarizing experience for lifelong localization