A tighter analysis of Piterman's Büchi determinization
From MaRDI portal
Publication:989532
DOI10.1016/J.IPL.2009.04.022zbMATH Open1200.68147OpenAlexW1983662674MaRDI QIDQ989532FDOQ989532
Authors: Wanwei Liu, Ji Wang 
Publication date: 20 August 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2009.04.022
Recommendations
- Tighter Bounds for the Determinisation of Büchi Automata
- A modular approach for Büchi determinization
- Implementation and Application of Automata
- Observations on determinization of Büchi automata
- A Buchsbaum theory for tight closure
- Determinization of Büchi-Automata
- Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
- Determinization of Büchi automata: unifying the approaches of Safra and Muller-Schupp
- A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata
- The logical strength of Büchi's decidability theorem
Cites Work
- Testing and generating infinite sequences by a finite automaton
- Tighter Bounds for the Determinisation of Büchi Automata
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- Büchi complementation made tight
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
Cited In (8)
- Tight bounds for complementing parity automata
- Profile trees for Büchi word automata, with application to determinization
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
- Tighter Bounds for the Determinisation of Büchi Automata
- A modular approach for Büchi determinization
- Rabin vs. Streett automata
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Profile trees for Büchi word automata, with application to determinization
This page was built for publication: A tighter analysis of Piterman's Büchi determinization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q989532)
