Unifying B\"uchi Complementation Constructions

DOI10.2168/LMCS-9(1:13)2013zbMath1274.68158OpenAlexW2763823660MaRDI QIDQ4913776

Moshe Y. Vardi, Orna Kupferman, Seth Fogarty, Thomas Wilke

Publication date: 9 April 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-9(1:13)2013

zbMATH Keywords

automata theorymodel checkingcomplementationBüchi automataomega automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On the power of finite ambiguity in Büchi complementation, Towards a grand unification of Büchi complementation constructions, Profile trees for Büchi word automata, with application to determinization