PrimaVera Predictive Maintenance for Very Effective Asset Management. Safe Control Under Uncertainty Designing provably correct controllers for dynamical control systems under uncertainty. Sampling-Based Verification for Markov Models Designing provably correct controllers for dynamical control systems under uncertainty.