-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathformulas.txt
More file actions
9 lines (9 loc) · 1.32 KB
/
formulas.txt
File metadata and controls
9 lines (9 loc) · 1.32 KB
1
2
3
4
5
6
7
8
9
"G(!(var0))";["var0", "var1"];"absence1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"F(var0) -> (!(var0) U var1)";["var0", "var1"];"absence2";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"G(var1 -> G(!(var0)))";["var0", "var1"];"absence3";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"F(var0)";["var0", "var1"];"existence1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"G(!(var0)) || F(var0 && F(var1))";["var0", "var1"];"existence2";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"G(var0 && (!(var1) -> (!var1) U (var2 && !(var1))))";["var0", "var1", "var2"];"existence3";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"G(var0)";["var0", "var1"];"universality1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"F(var1) -> (var0 U var1)";["var0", "var1"];"universality2";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
"G(var1 -> G(var0))";["var0", "var1"];"universality3";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"