write a stormvogel step function for the simulator - Githubissues

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

write a stormvogel step function for the simulator #139

Open PimLeerkes opened 1 week ago

PimLeerkes commented 1 week ago

This provides the option of using the simulator independently of stormpy