Probabilistic Verification at Runtime for Self-Adaptive Systems
Symbolic and parametric model checking of discrete-time markov Chains