Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
Reinforcement Learning: An Introduction