Double-crossing

decidability and computational complexity of a qualitative calculus for navigation

2001

Alexander Scivos, Bernhard Nebel

in: Spatial information theory, Berlin,