Mathematical certification of motion planning on uncertain terrain with limited perception: a case study

Nikolaos Skouloudis, Alexandre Megretski

We design a controller for an agent whose mission is to reach a stationary target while avoiding a family of obstacles which are not known a-priori. The agent moves in the two dime…