www.prismmodelchecker.org
[ACSX23] Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu. Quantitative Verification and Strategy Synthesis for BDI Agents. In Proc. NASA Formal Methods Symposium (NFM'23). 2023. [Uses PRISM to synthesise optimal strategies for probabilistic Belief-Desire-Intention agents.]

Publications