8.1 Uncertainties in Self‐Adaptive Systems8.2 Taming Uncertainty with Formal Techniques8.3 Exhaustive Verification to Provide Guarantees for Adaptation Goals8.4 Statistical Verification to Provide Guarantees for Adaptation Goals8.5 Proactive Decision‐Making using Probabilistic Model Checking8.6 A Note on Verification and Validation8.7 Integrated Process to Tame Uncertainty8.8 Summary8.9 Exercises8.10 Bibliographic Notes