Shashank Pathak, Luca Pulina, Armando Tacchella: Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016)