Logic-based and robust desicion making for robots in real world

We propose a logic-based mechanism for robot action decisions that is robust over the environmental noise of the real world and has a formal way to reason the possibility of achieving the robot's goal. Our experimental demos show that a robot can eventually reach its destination even if its actions are not that accurate.