Determinization of Büchi-Automata

DOI10.1007/3-540-36387-4_3zbMath1021.03510OpenAlexW2055139895MaRDI QIDQ4412826

Markus Roggenbach

Publication date: 16 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36387-4_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

Model checking \(\omega \)-regular properties with decoupled search

This page was built for publication: Determinization of Büchi-Automata