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.]
Links: [Google] [Google Scholar]

Publications