Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations
PRISM-games: A Model Checker for Stochastic Multi-Player Games