MRMC-users April 2010

mrmc-users@lists.rwth-aachen.de

3 Teilnehmer
1 Diskussionen

Einen neuen Thread beginnen

minimum probability

von Amir Molzam Sharifloo

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

14 Jahre, 3 Monate