andrewmw94/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
JavaGPL-2.0
No issues in this repository yet.
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
JavaGPL-2.0
No issues in this repository yet.