State of B\"uchi Complementation

DOI10.2168/LMCS-10(4:13)2014zbMath1448.68278OpenAlexW1644968762MaRDI QIDQ2938766

Seth Fogarty, Moshe Y. Vardi, Ming-Hsien Tsai, Yih-Kuen Tsay

Publication date: 15 January 2015

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

Full work available at URL: https://doi.org/10.2168/lmcs-10(4:13)2014

zbMATH Keywords

Büchi automataexperimental comparisonoptimization heuristicsBüchi complementation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning, On the power of finite ambiguity in Büchi complementation, Towards a grand unification of Büchi complementation constructions, Unnamed Item, State of Büchi Complementation

Uses Software

• GOAL