www.prismmodelchecker.org
[AHG21] Mohammed N. Alharbi, Shihong Huang and David Garlan. A Probabilistic Model for Personality Trait Focused Explainability. In ECSA 2021 Companion Volume. 2021. [Proposes a framework for incorporating human personality traits models within automated decision-making, using PRISM and PRISM-games.]

Publications