9 May
2012
9 May
'12
10:31 a.m.
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