TY  - RPRT
TI  - Proofs of Technical Results Justifying an Algorithm of Reactive 3D Navigation of a Mobile Robot through an Unknown Tunnel
AU  - Alexey S. Matveev
AU  - Andrey V. Savkin
PY  - 2018
UR  - https://arxiv.org/abs/1803.00803
ID  - 1803.00803
ER  -