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