Probabilistic Verification at Runtime for Self-Adaptive Systems
Discrete-Time Rewards Model-Checked