Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
PRISM-games: A Model Checker for Stochastic Multi-Player Games