Xiaotie Deng, Evangelos E. Milios, Andy Mirzaian. Robot Map Verification of a Graph World. In Frank K. H. A. Dehne, Arvind Gupta, Jörg-Rüdiger Sack, Roberto Tamassia, editors, Algorithms and Data Structures, 6th International Workshop, WADS 99, Vancouver, British Columbia, Canada, August 11-14, 1999, Proceedings. Volume 1663 of Lecture Notes in Computer Science, pages 86-97, Springer, 1999. [doi]
Abstract is missing.