Determinization and Limit-determinization of Emerson-Lei Automata - Supplementary material (ATVA'21)
Dataset: Series
Persons and affiliations
- Tobias John - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
Keywords
Keywords
- determinization, automata theory, Theoretical Computer Science