www.prismmodelchecker.org
[GKHP24] Leonardo Guevara, Muhammad Khalid, Marc Hanheide and Simon Parsons. Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications. Computers and Electronics in Agriculture. 2024. [Analyses the safety risks of collaborative robots in agricultural scenarios using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications