You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
536 B
26 lines
536 B
// RESULT: 1.0
|
|
P=? [ G F s=3|s=4|s=5 ];
|
|
|
|
// RESULT: 5/6 = 0.833333
|
|
P=? [ G F s=3|s=4 ];
|
|
|
|
|
|
// some more LTL formulas, combined with filters
|
|
|
|
// RESULT: 1/6
|
|
P=? [ G F (s=2 & (X s=5)) ];
|
|
|
|
// RESULT: 1/6
|
|
filter(state, P=? [ G F (s=2 & (X s=5)) ], s=0);
|
|
|
|
// RESULT: 1/3
|
|
filter(state, P=? [ G F (s=2 & (X s=5)) ], s=1);
|
|
|
|
// RESULT: 1/6
|
|
filter(max, P=? [ G F (s=2 & (X s=5)) ], s=0 | s=4);
|
|
|
|
// RESULT: 1/12
|
|
filter(avg, P=? [ G F (s=2 & (X s=5)) ], s=0 | s=4);
|
|
|
|
// RESULT: 0.0
|
|
filter(state, P=? [ G F (s=2 & (X s=5)) ], s=4);
|