stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Make the simulator usable in the case of markov automata

Open PimLeerkes opened this issue 4 months ago • 1 comments

It seems that when using the simulator on an MA, it doesn't work because MAs do not have an nr_available_actions method.

PimLeerkes avatar Oct 18 '24 13:10 PimLeerkes