State space export: include rates of Markovian transitions
The new state space export functionality of mcsta currently ignores the rates of Markovian transitions completely. It should instead output them in addition to the action label.
The new state space export functionality of mcsta currently ignores the rates of Markovian transitions completely. It should instead output them in addition to the action label.