Use Markov chain / MDP simulator and show partial MDPs

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

Closed linusheck closed 3 weeks ago

linusheck commented 4 months ago

Convert results from the simulator in stormpy to stormvogel, show partial MDPs, could also work for counterexamples?