A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping.

Jean-François Dufourd

Published in: Eurographics (1989)

Keyphrases

topological map
robot navigation
mobile robot
indoor environments
geometrical information
topological features
feature space
globally consistent
robot localization
logic programming
autonomous navigation
computer vision
programming language
path planning
general theory