diff --git a/data/formulas/regressions.ltl b/data/formulas/regressions.ltl index 44eb5b8b907f91a72b2e70f6665c6f664b6af6ac..7efc95bd89aab987d1d950d0497ecfd597b31d2f 100644 --- a/data/formulas/regressions.ltl +++ b/data/formulas/regressions.ltl @@ -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)))