www.prismmodelchecker.org
[KML+18] Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier and Benjamin M. Friedrich. Decision making improves sperm chemotaxis in the presence of noise. Computational Biology, 14(4). 2018. [Uses probabilistic model checking and PRISM to study decision making in sperm chemotaxis.]
Links: [Google] [Google Scholar]

Publications