www.prismmodelchecker.org
[YH24] Yi Yang and Tom Holvoet. Making model checking feasible for GOAL. Annals of Mathematics and Artificial Intelligence . 2024. [Presents a framework for model checking the GOAL agent programming language based on a translation to PRISM.]
Links: [Google] [Google Scholar]

Publications