Complementation of Büchi automata using alternation

DOI10.1007/3-540-36387-4_4MaRDI QIDQ4412827zbMATH OpenOpenAlexFDO

Authors Felix Klaedtke

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_4

Mathematics Subject Classification ID

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

Recommendations

• Complementation of Büchi automata revisited
• On the complementation of Büchi automata
• Complementation of finitely ambiguous Büchi automata
• A simple and optimal complementation algorithm for Büchi automata
• On complementing nondeterministic Büchi automata
• Complementing semi-deterministic Büchi automata
• Complementation, Disambiguation, and Determinization of Büchi Automata Unified
• Complementing deterministic Büchi automata in polynomial time
• The complementation problem for Büchi automata with applications to temporal logic
• scientific article; zbMATH DE number 3922633

Cited in

(9)

• \(X\)-automata on \(\omega\)-words
• Complementation of finitely ambiguous Büchi automata
• On the complementation of Büchi automata
• Improved complement for two-way alternating automata
• Büchi Store: an open repository of Büchi automata
• Complementation of Büchi automata revisited
• Simulation relations for alternating Büchi automata
• Complement for two-way alternating automata
• Complement for two-way alternating automata

This page was built for publication: Complementation of Büchi automata using alternation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412827)