Sensor-Based Navigation

Reactive Navigation in Non-Convex Environments
Integration of offline and online information for real-time execution of a provably correct navigation algorithm.