regressions.ltl 1.64 KB
Newer Older
1 2
F a & G F b
G a | G F a
3
G ((! a) W b)
4
G (a M (F b))
5
G (a | G F a)
6
a | (G (F (a)))
7
a U (b & (F a))
8 9
G (a | (a U b))
(a U (G b)) W a
10
G (F (a & (F b)))
11
G (F (a & (G a)))
12
(a | X !b) W (F c)
13
F (a & GF (b W a))
14 15
G (F (a & (a U b)))
G (F (a & X (F b)))
16 17
(G a) U (b U (G a))
(G a) U (b & G F b)
18
F (a & (!a | G F b))
Salomon Sickert-Zehnter's avatar
Salomon Sickert-Zehnter committed
19
(F a) xor X (b W F a)
20
G (G a | (F b & G b))
21
G (a | (a U (a U b)))
22
G (a | (F (b & X c)))
23
((X a) | (F b)) U (a)
24
a | G (b | (a & F b))
25
a U (X (b & X (F a)))
26
G (a | (F (a & X b)))
27
(a U b) | (G (c | X a))
28
(a W (b <-> X G a)) W a
29
F (a | ((X (! a)) R b))
30
G (a | ((! a) U (X a)))
31
(G !a) | ((!a U b) W a)
32
G (a | (!b U (b & F a)))
33
a | (b W (a | (b W !a)))
34
F ((a U b) & (G a | F c))
35
(a U (G a)) | (b U (G b))
36
F G a | F (b & G (b | c))
37
G a | G (F b & F (a | c))
38
(G a) | ((F b) W (b & X b))
39
G (G a | (F b & G (b | c)))
40
F (a & ((!a & !c) | G F c))
41
G (a U (b | G (!c | X F d)))
42
F (G !a | G a | (!a & X G b))
43
((F G a) & F b) | G b | G F a
44
a & GF ((a | b) & (Ga | !GFa))
45
(F a) & ((a R (a | b)) R (!a))
46
G (b | F a) U (a & G (b | F a))
47
(G ((a <-> Xa) W (X b))) U (G a)
48
G (a | (F a & F b & (c -> F d)))
49
G ((a & b) | (F a & F !b & F c))
50
(G ((a <-> Xa) W (X b))) U (G a)
51
(G !a) | (b W ((F a) | (XXb W a)))
52
G ((a W G b) -> (a <-> G (a U b)))
53
! F (a & G (b | F c | (F d & G e)))
54
(G a & F (F b & G a)) | (F b & G a)
55
G ((a M (G b)) | ((c W d) & (a W c)))
56
(a & (b R X !a)) | ((G c) & (b U X a))
57
((G a) | ((F b) W (c & X b))) -> (b U c)
58
G F ((a | (G b)) & ((G c) R (a | (G c))))
59
(a | GFb) & (c | GFd) & (FGc | GFa) & GFc
60
(!X a) & ((b | (Fc) | (d R (!b)) U (X a)))
61
F (a & ((a & G (b U c)) | !(a | G (b U c))))
62
G(!a | (a U (b U (a & (a U (c & (c U a)))))))
63
G ((a1 & (F b1)) | (a2 & (F b2)) | (b1 & (F a1)))