www.prismmodelchecker.org
[WMNA21] William Kavanagh, Alice Miller, Gethin Norman and Oana Andrei. Balancing Turn-Based Games With Chained Strategy Generation. IEEE Transactions on Games. 2021. [Proposes novel techniques for game balancing, building on probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications