search

moves-rwth / stormvogel

Storm for almost everyone
2 stars 0 forks source link

Make mapping for CTMCs #34

Closed linusheck closed 3 weeks ago

linusheck commented 1 month ago

Convert rates from storm to stormvogel