Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations
Automatic Verification of Competitive Stochastic Systems