18 Apr
2010
18 Apr
'10
16:09
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