Commit 47b3c145 authored by Salomon Sickert's avatar Salomon Sickert
Browse files

amend regressions

parent 30fb949f

data/formulas/regressions.ltl

+1 −0
Original line number Diff line number Diff line
@@ -16,6 +16,7 @@ G (F (a & X (F b))) 
(G a) U (b U (G a))

(G a) U (b & G F b)

F (a & (!a | G F b))

(F a) xor X (b W F a)

G (G a | (F b & G b))

G (a | (a U (a U b)))

G (a | (F (b & X c)))

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum