www.prismmodelchecker.org
[Ald22] Alessandro Aldini. On the Modeling and Verification of Collective and Cooperative Systems. Frontiers. 2022. [Presents a framework for verifying networks of cooperative and interacting agents, based on PRISM.]
Links: [Google] [Google Scholar]

Publications