watakandai/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
JavaGPL-2.0
Stargazers
No one’s star 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 one’s star this repository yet.