MRMC-users

Download

mrmc-users@lists.rwth-aachen.de

April 2010

3 participants
1 discussions

minimum probability
by Amir Molzam Sharifloo 20 Apr '10

20 Apr '10

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

3 3