Re: [MRMC] minimum probability

Hi Amir, The minimum probabilities are not built-in, but you can modify the source code to achieve that. Good luck, Viet Yen On Apr 18, 2010, at 10:09 , Amir Molzam Sharifloo wrote:

Hello,

I'm using MRMC to do model checking of CTMDP. when I check a property like

P{<=0.9}[tt U[0,5] label]

it gives me back the maximum probability, but I need the minimum probability. How can I get it? Thanks in advance.

Amir _______________________________________________ MRMC-users mailing list MRMC-users@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users

Viet Yen -- http://moves.rwth-aachen.de/~nguyen