Skip to content

Commit f4db747

Browse files
nathanael-fijalkownathanael-fijalkow
committed
first commit
0 parents  commit f4db747

23 files changed

Lines changed: 1899 additions & 0 deletions

‎Fixed_Formulas/absence1.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
G(!(var0));['var0', 'var1'];absence1;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

‎Fixed_Formulas/absence2.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
F(var0) -> (!(var0) U var1);['var0', 'var1'];absence2;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

‎Fixed_Formulas/absence3.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
G(var1 -> G(!(var0)));['var0', 'var1'];absence3;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

‎Fixed_Formulas/existence1.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
F(var0);['var0', 'var1'];existence1;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

‎Fixed_Formulas/existence2.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
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

‎Fixed_Formulas/existence3.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
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

‎Fixed_Formulas/formulas.json‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
[
2+
{
3+
"formula": "G(!(var0))",
4+
"atomic_propositions": ["var0", "var1"],
5+
"name": "absence1",
6+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
7+
},
8+
{
9+
"formula": "F(var0) -> (!(var0) U var1)",
10+
"atomic_propositions": ["var0", "var1"],
11+
"name": "absence2",
12+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
13+
},
14+
{
15+
"formula": "G(var1 -> G(!(var0)))",
16+
"atomic_propositions": ["var0", "var1"],
17+
"name": "absence3",
18+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
19+
},
20+
{
21+
"formula": "F(var0)",
22+
"atomic_propositions": ["var0", "var1"],
23+
"name": "existence1",
24+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
25+
},
26+
{
27+
"formula": "G(!(var0)) || F(var0 && F(var1))",
28+
"atomic_propositions": ["var0", "var1"],
29+
"name": "existence2",
30+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
31+
},
32+
{
33+
"formula": "G(var0 && (!(var1) -> (!var1) U (var2 && !(var1))))",
34+
"atomic_propositions": ["var0", "var1", "var2"],
35+
"name": "existence3",
36+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
37+
},
38+
{
39+
"formula": "G(var0)",
40+
"atomic_propositions": ["var0", "var1"],
41+
"name": "universality1",
42+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
43+
},
44+
{
45+
"formula": "F(var1) -> (var0 U var1)",
46+
"atomic_propositions": ["var0", "var1"],
47+
"name": "universality2",
48+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
49+
},
50+
{
51+
"formula": "G(var1 -> G(var0))",
52+
"atomic_propositions": ["var0", "var1"],
53+
"name": "universality3",
54+
"origin": "https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
55+
}
56+
]

‎Fixed_Formulas/formulas.txt‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
"G(!(var0))";["var0", "var1"];"absence1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
2+
"F(var0) -> (!(var0) U var1)";["var0", "var1"];"absence2";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
3+
"G(var1 -> G(!(var0)))";["var0", "var1"];"absence3";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
4+
"F(var0)";["var0", "var1"];"existence1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
5+
"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"
6+
"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"
7+
"G(var0)";["var0", "var1"];"universality1";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
8+
"F(var1) -> (var0 U var1)";["var0", "var1"];"universality2";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"
9+
"G(var1 -> G(var0))";["var0", "var1"];"universality3";"https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598"

‎Fixed_Formulas/universality1.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
G(var0);['var0', 'var1'];universality1;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

‎Fixed_Formulas/universality2.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
F(var1) -> (var0 U var1);['var0', 'var1'];universality2;https://github.com/ivan-gavran/samples2LTL,https://dl.acm.org/doi/abs/10.1145/298595.298598

0 commit comments

Comments
 (0)