State of B\"uchi Complementation
From MaRDI portal
Publication:2938766
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
Related Items (8)
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 ⋮ FORQ-Based Language Inclusion Formal Testing ⋮ Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition ⋮ Modular mix-and-match complementation of Büchi automata ⋮ State of Büchi Complementation
Uses Software
This page was built for publication: State of B\"uchi Complementation