Building local metrical and global topological maps using efficient scan matching approaches | IEEE Conference Publication | IEEE Xplore