Import and export STPGs and SMGs

prismmodelchecker / prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

http://www.prismmodelchecker.org/games/

GNU General Public License v2.0

22 stars 26 forks source link

Import and export STPGs and SMGs #10

Closed andrewmw94 closed 1 year ago

andrewmw94 commented 3 years ago

I'd like to import/export stochastic games. I couldn't find coding guidelines, so let me know if I need to change the style anywhere. I also haven't tested rewards and labels yet, but I'll do that before this gets merged.