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 (CoRR, 2024)