Mathematical certification of motion planning on uncertain terrain with limited perception: a case study. - Nikolaos Skouloudis; Alexandre Megretski (CoRR, 2022)