Büchi complementation and size-change termination

DOI10.2168/LMCS-8(1:13)2012MaRDI QIDQ2881080zbMATH OpenOpenAlexFDO

Authors Seth Fogarty, Moshe Y. Vardi

Publication date 3 April 2012

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

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

zbMATH Keywords

Büchi automataBüchi complementationformal verificationmodel checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Büchi Complementation and Size-Change Termination
• Efficient Büchi universality checking
• Improved Ramsey-based Büchi complementation
• State of Büchi complementation
• State of Büchi complementation

Cited in

(7)

• Improved Ramsey-based Büchi complementation
• Efficient Büchi universality checking
• Büchi Complementation and Size-Change Termination
• On the power of unambiguity in Büchi complementation
• On the power of finite ambiguity in Büchi complementation
• Towards a grand unification of Büchi complementation constructions
• Simulations in rank-based Büchi automata complementation

This page was built for publication: Büchi complementation and size-change termination

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