PRISM-games: Case Studies
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.
Microgrid demand-side management
(see also this web page)
Human-in-the-loop UAV mission planning
Autonomous urban driving
Aircraft power distribution
Self-adaptive software architectures
DNS bandwidth amplification attack
Attack-defence scenarios in RFID goods management system
Collective decision making for sensor networks
Team formation protocol