122 stormpy to stormvogel mapping assumes state 0 is the initial state#126

Merged

PimLeerkes merged 3 commits intomainfrom 122-stormpy-to-stormvogel-mapping-assumes-state-0-is-the-initial-state

Nov 3, 2024

+41-404

Commits on Nov 3, 2024