LTL to self-loop alternating automata with generic acceptance and back | 0 | 0.34 | 2020 |
Generic Emptiness Check for Fun and Profit. | 0 | 0.34 | 2019 |
ltl3tela - LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. | 0 | 0.34 | 2019 |
Complementing Semi-deterministic Büchi Automata. | 5 | 0.44 | 2016 |
On Refinement of Büchi Automata for Explicit Model Checking | 1 | 0.36 | 2015 |
The Hanoi Omega-Automata Format | 13 | 0.55 | 2015 |
Is there a best büchi automaton for explicit model checking? | 3 | 0.43 | 2014 |
Comparison of LTL to Deterministic Rabin Automata Translators. | 9 | 0.51 | 2013 |
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. | 17 | 0.71 | 2013 |