Unifying B\"uchi Complementation Constructions

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

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

Publication date: 9 April 2013

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

zbMATH Keywords

automata theory; model checking; complementation; Büchi automata; omega automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q60: Specification and verification (program logics, model checking, etc.)