TY  - RPRT
TI  - A novel agent with formal goal-reaching guarantees: an experimental study with a mobile robot
AU  - Grigory Yaremenko
AU  - Dmitrii Dobriborsci
AU  - Roman Zashchitin
AU  - Ruben Contreras Maestre
AU  - Ngoc Quoc Huy Hoang
AU  - Pavel Osinenko
PY  - 2024
UR  - https://arxiv.org/abs/2409.14867
ID  - 2409.14867
ER  -