storm Parsing schedulers and applying them via the command line

Parsing schedulers and applying them via the command line

Open sjunges opened this issue 2 years ago • 3 comments

Say I have computed a scheduler for a model. Can I apply the scheduler to said model using the command line?

Sep 14 '22 18:09 sjunges

This would require to be able to parse schedulers, which unfortunately is not implemented.

Sep 15 '22 03:09 tquatmann

Just for clarification: using stormpy is not an option?

Sep 15 '22 07:09 volkm

I'm also in a position where that would be a functionality I could need. What's the current status here?

Oct 05 '22 10:10 AlexBork