PRISM-games has been used for verification and strategy synthesis in many different application domains. Below is a (non-exhaustive) list of PRISM-games studies, along with accompanying publications and links. We are always happy to include details of externally developed case studies. If you would like to contribute content about your work with PRISM-games, or you want us to add a pointer to a relevant publication, please contact us.
See also the PRISM-games publications list for papers describing various case studies that illustrate the application of PRISM-games.