Determinising Parity Automata

DOI10.1007/978-3-662-44522-8_41zbMath1425.68229arXiv1401.5394OpenAlexW1593119266MaRDI QIDQ2922042

Sven Schewe, Thomas Varghese

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.5394

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (6)

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning ⋮ A survey on satisfiability checking for the \(\mu \)-calculus through tree automata ⋮ Unnamed Item ⋮ Approximate Automata for Omega-Regular Languages ⋮ \( \omega \)-automata ⋮ Rabin vs. Streett Automata

This page was built for publication: Determinising Parity Automata