Reasoning about Human Participation in Self-Adaptive Systems
PRISM-games: A Model Checker for Stochastic Multi-Player Games