The Büchi Complementation Saga

DOI10.1007/978-3-540-70918-3_2MaRDI QIDQ3590920zbMATH OpenOpenAlexFDO

Authors Moshe Y. Vardi

Publication date 3 September 2007

Published in STACS 2007 (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.6917

Mathematics Subject Classification ID

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

Recommendations

• Automated Technology for Verification and Analysis
• BÜCHI COMPLEMENTATION MADE TIGHTER
• Büchi complementation made tight
• Tools and Algorithms for the Construction and Analysis of Systems
• On complementing nondeterministic Büchi automata

Cited in

(31)

• -automata
• When is scalar multiplication decidable?
• Uncountable automatic classes and learning
• A complete characterization of deterministic regular liveness properties
• Unambiguous Büchi Is Weak
• State of Büchi complementation
• The mu-calculus and Model Checking
• Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
• On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
• From Philosophical to Industrial Logics
• Automata-Based Termination Proofs
• On-the-fly emptiness check of transition-based Streett automata
• Uncountable automatic classes and learning
• scientific article; zbMATH DE number 4087055 (Why is no real title available?)
• On the complementation of Büchi asynchronous cellular automata
• A Generalization of Semenov’s Theorem to Automata over Real Numbers
• Random models for evaluating efficient Büchi universality checking
• Ramsey-based inclusion checking for visibly pushdown automata
• Büchi complementation made tight
• Automated Technology for Verification and Analysis
• Model Checking Quantitative Linear Time Logic
• From Monadic Logic to PSL
• BÜCHI COMPLEMENTATION MADE TIGHTER
• An \(O(n^2)\) time algorithm for alternating Büchi games
• On complementing nondeterministic Büchi automata
• Towards a grand unification of Büchi complementation constructions
• Universal first-order quantification over automata
• Simulations in rank-based Büchi automata complementation
• Universal first-order quantification over automata
• Complementation of Emerson-Lei automata
• A practical decision procedure for propositional projection temporal logic with infinite models

This page was built for publication: The Büchi Complementation Saga

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