The graph algorithms currently do not work correctly for interval models with [0,1] transition probabilities. Storm does not complain about this and often does produce correct model checking results if the graph algorithm did not influence the model checking enough.
The graph algorithms currently do not work correctly for interval models with [0,1] transition probabilities. Storm does not complain about this and often does produce correct model checking results if the graph algorithm did not influence the model checking enough.