cs.RO cs.AI math.DS math.OC
A novel agent with formal goal-reaching guarantees: an experimental study with a mobile robot
Grigory Yaremenko Dmitrii Dobriborsci Roman Zashchitin Ruben Contreras Maestre Ngoc Quoc Huy Hoang Pavel Osinenko