Logic-based and Robust Decision 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.