LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees

Xu Chu Ding, Stephen L. Smith, Calin Belta +1

We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set…