From 47b3c145b08b093a9a270baa6d79b8b7f6a93e77 Mon Sep 17 00:00:00 2001 From: Salomon Sickert Date: Wed, 6 Nov 2019 08:18:47 +0100 Subject: [PATCH] amend regressions --- data/formulas/regressions.ltl | 1 + 1 file changed, 1 insertion(+) diff --git a/data/formulas/regressions.ltl b/data/formulas/regressions.ltl index 44eb5b8b9..7efc95bd8 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))) -- GitLab