Hello,
we are using MRMC for DMRMs. Currently, it is possible to compute the
states where the long-run probabilities hold a given property.
Is there also a possibility to show the steady-state (or long-run)
probability for each state, as in PRISM?
Greetings,
Daniel
