www.prismmodelchecker.org
[ACSX23b] Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu. Quantitative modelling and analysis of BDI agents. Software and Systems Modeling , Springer. 2023. [Defines a probabilistic extension to the Conceptual Agent Notation for probabilistic Belief-Desire-Intention models, solved using PRISM. ]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications