www.prismmodelchecker.org
[PTM19] Bernd Porr, Alex Trew and Alice Miller. An investigation into serotonergic and environmental interventions against depression in a simulated delayed reward paradigm. Adaptive Behavior. 2019. [Studies serotonergic and environmental interventions against depression using both simulation an probabilistic model checking, the latter using PRISM.]
Links: [Google] [Google Scholar]

Publications