www.prismmodelchecker.org
[BW09] B. Beckert and M. Wagner. Probabilistic Models for the Verification of Human-Computer Interaction. In Proc. 32nd Annual German Conference on Artificial Intelligence. 2009. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications