- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
other
March 31 2017
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references18
- Record: found
- Abstract: not found
- Book Chapter: not found
Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation
- Record: found
- Abstract: not found
- Article: not found
Weak alternating automata are not that weak
Orna Kupferman, Moshe Vardi (2001)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
On the complexity of omega -automata
S. Safra (1988)