LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Discrete abstractions of hybrid systems