Skip to content

v0.6 Model converter to stormpy
Compare
Choose a tag to compare
@Rapfff Rapfff released this 16 Sep 15:42
· 103 commits to main since this release
v0.6
9fa513c

A new function jajapy.modeltoStorm converts any jajapy.HMM, jajapy.MC, jajapy.MDP and jajapy.MC to the corresponding model in stormpy. Notice that these models are trace-equivalent, but not similar: stormpy models have more states than jajapy models, since labels are on the states in stormpy while on the transitions in jajapy.

New examples have been added.

Assets 4
Loading