A novel agent with formal goal-reaching guarantees: an experimental study with a mobile robot