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/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool