On the (in)succinctness of Muller automata

DOI10.4230/LIPICS.CSL.2017.12zbMATH Open1434.68235MaRDI QIDQ5111179FDOQ5111179

Authors: Udi Boker 

Publication date: 26 May 2020

Recommendations

• Rabin vs. Streett automata
• Why These Automata Types?
• TYPENESS FOR ω-REGULAR AUTOMATA
• Automated Technology for Verification and Analysis
• On the Succinctness of Nondeterminism

zbMATH Keywords

automatadeterminizationomega-regular languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (7)

• From Nerode's congruence to suffix automata with mismatches
• Families of DFAs as acceptors of \(\omega\)-regular languages
• Automated Technology for Verification and Analysis
• Rabin vs. Streett automata
• Title not available (Why is that?)
• On the Succinctness of Nondeterminism
• TYPENESS FOR ω-REGULAR AUTOMATA

This page was built for publication: On the (in)succinctness of Muller automata

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