There are example files available in the
included with downloads of PRISM-games
simple subdirectory contains some small examples
that can be used to test PRISM-games's functionality for rPATL model checking and strategy synthesis:
Other examples included are listed below. See the README file in each directory for more info and links.
See also the PRISM-games publications list for papers describing various case studies that illustrate the application of PRISM-games.
A selection of examples for benchmarking can be found on this page. These include: