LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees