Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
the probabilistic model checking landscape * .