Before revision: The proof that the robot will always stay inside its corridor can be performed using interval analysis .
After revision: and set inversionThe proof that the robot will always stay inside its corridor can be performed using interval analysis .