9 Mai
2012
9 Mai
'12
10:31
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