Add valuations when mapping between stormpy and stormvogel

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

Add valuations when mapping between stormpy and stormvogel #146

Open lukovdm opened 1 week ago

lukovdm commented 1 week ago

I would be very useful to have access to the valuations in storm models when mapping them to stormvogel. Also when visualising I would also like to see the valuations for the state.