State of Büchi Complementation

DOI10.1007/978-3-642-18098-9_28zbMath1297.68168arXiv1406.4575OpenAlexW1562442213MaRDI QIDQ3073645

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

Publication date: 11 February 2011

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.4575

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (3)

Ramsey-Based Inclusion Checking for Visibly Pushdown Automata ⋮ Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata ⋮ Random Models for Evaluating Efficient Büchi Universality Checking

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
• Observations on determinization of Büchi automata
• The complementation problem for Büchi automata with applications to temporal logic
• Automata, logics, and infinite games. A guide to current research
• State of B\"uchi Complementation
• Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
• Complementation, Disambiguation, and Determinization of Büchi Automata Unified
• Weak alternating automata are not that weak
• When Simulation Meets Antichains
• Efficient Büchi Universality Checking
• The Büchi Complementation Saga
• Büchi Complementation and Size-Change Termination
• Antichains for the Automata-Based Approach to Model-Checking
• On Minimal Odd Rankings for Büchi Complementation
• Büchi Complementation Made Tight
• From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
• Automata-Theoretic Model Checking Revisited
• GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
• BÜCHI COMPLEMENTATION MADE TIGHTER
• Correct Hardware Design and Verification Methods

This page was built for publication: State of Büchi Complementation