Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation.

Savvas G. LoizouElon D. Rimon
Published in: CoRR (2021)