TY  - RPRT
TI  - Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation
AU  - Savvas G. Loizou
AU  - Elon D. Rimon
PY  - 2021
UR  - https://arxiv.org/abs/2103.04445
ID  - 2103.04445
ER  -