Temporal logic control in dynamic environments with probabilistic satisfaction guarantees
Stochastic Model Checking