www.prismmodelchecker.org
[GLHW23] Anna Gautier, Bruno Lacerda, Nick Hawes and Michael J. Wooldridge. Multi-Unit Auctions for Allocating Chance-Constrained Resources. AAAI 2023. In Proc. 37th AAAI Conference on Artificial Intelligence (AAAI'23), pages 11560-11568. 2023. [Proposes methods for chance-constrained multi-agent resource allocation including PRISM as a back-end multi-objective solver.]
Links: [Google] [Google Scholar]

Publications