Towards a Formal Model for Multi-Resolution Spatial Maps · Study