pranavashok / prism-games Goto Github PK
View Code? Open in Web Editor NEWThis project forked from prismmodelchecker/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
Home Page: http://www.prismmodelchecker.org/games/
License: GNU General Public License v2.0