- 12 Jan, 2021 3 commits
-
-
Matthias Zinner authored
This reverts commit 3746d38c.
-
Matthias Zinner authored
-
Matthias Zinner authored
-
- 11 Jan, 2021 2 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
This reverts commit 84c88b53.
-
- 08 Jan, 2021 2 commits
-
-
Matthias Zinner authored
Fix MiniSAT build error See merge request !1
-
Matthias Zinner authored
If a formula E [ (a, ...) C a ] was given, it was translated into E [ a U EZ [ (a, ...), (!a, FALSE)]], which always evaluates as false. Now, it is instead translated into E [ a U EZ [(a, ...), (TRUE, a) ] ].
-
- 15 Dec, 2020 1 commit
-
-
Paul Wild authored
-
- 06 Feb, 2020 1 commit
-
-
Matthias Zinner authored
-
- 02 Feb, 2020 1 commit
-
-
Matthias Zinner authored
-
- 27 Jan, 2020 3 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
-
Matthias Zinner authored
In some files it was still refered to CTL^f, this is now changed to ESFCTL
-
- 22 Jan, 2020 1 commit
-
-
Matthias Zinner authored
-
- 08 Oct, 2019 1 commit
-
-
Matthias Zinner authored
-
- 12 Sep, 2019 2 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
-
- 22 Aug, 2019 1 commit
-
-
Christoph Rauch authored
-
- 24 Jul, 2019 1 commit
-
-
Matthias Zinner authored
-
- 19 Jul, 2019 3 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
-
Matthias Zinner authored
-
- 16 Jul, 2019 1 commit
-
-
Matthias Zinner authored
This reverts commits 54fabb2a, 4f3e9d1f, 684d39b5.
-
- 28 May, 2019 3 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
-
Matthias Zinner authored
-
- 22 May, 2019 1 commit
-
-
Matthias Zinner authored
-
- 29 Apr, 2019 1 commit
-
-
Matthias Zinner authored
-
- 11 Apr, 2019 2 commits
-
-
Matthias Zinner authored
-
Christoph Rauch authored
-
- 09 Apr, 2019 2 commits
-
-
Matthias Zinner authored
-
Christoph Rauch authored
-
- 27 Mar, 2019 1 commit
-
-
Matthias Zinner authored
-
- 25 Mar, 2019 1 commit
-
-
Matthias Zinner authored
EZ [(p_1, q_1),..., (p_n, q_n)] = νY./\^n_{i=1} [EX E[ Y U (p_i /\ Y) ] \/ (q_i /\ EX Y)]
-
- 22 Mar, 2019 1 commit
-
-
Matthias Zinner authored
-
- 20 Mar, 2019 2 commits
-
-
Matthias Zinner authored
-
Matthias Zinner authored
- Example: CTLFSPEC EM [ TRUE, EX TRUE, EF TRUE ] | EM [ FALSE ] - Implementation not complete, but model checking works
-
- 13 Mar, 2019 1 commit
-
-
Matthias Zinner authored
-
- 08 Mar, 2019 1 commit
-
-
Matthias Zinner authored
-
- 27 Feb, 2019 1 commit
-
-
Matthias Zinner authored
Instead of the states where E [a G b] holds, the states where b holds have been used to generate a trace.
-