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