Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
Reinforcement Learning: An Introduction
Anesthesia for Laparoscopic Cholecystectomy Is Nitrous Oxide Contraindicated