www.prismmodelchecker.org
[ACSX21b] Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu. Probabilistic BDI Agents: Actions, Plans, and Intentions. In Proc. International Conference on Software Engineering and Formal Methods (SEFM'21). 2021. [Defines a probabilistic extension to the Conceptual Agent Notation for probabilistic Belief-Desire-Intention models, solved using PRISM.]
Links: [Google] [Google Scholar]

Publications