Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
From MaRDI portal
Publication:4649286
DOI10.1007/978-3-642-33386-6_5zbMATH Open1374.68265OpenAlexW42425946MaRDI QIDQ4649286FDOQ4649286
Authors: Sven Schewe, Thomas Varghese 
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_5
Recommendations
- Tighter Bounds for the Determinisation of Büchi Automata
- Complementing deterministic Büchi automata in polynomial time
- A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata
- Determinization of Büchi-Automata
- Publication:4941152
- Complementation, Disambiguation, and Determinization of Büchi Automata Unified
- On the complementation of Büchi automata
- On complementing nondeterministic Büchi automata
- Complementation of finitely ambiguous Büchi automata
- Implementation and Application of Automata
Cited In (13)
- \(\omega \)-automata
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- Tight bounds for complementing parity automata
- Tighter Bounds for the Determinisation of Büchi Automata
- A tighter analysis of Piterman's Büchi determinization
- Good-for-MDPs automata for probabilistic analysis and reinforcement learning
- A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- Determinization and limit-determinization of Emerson-Lei automata
- Safraless LTL synthesis considering maximal realizability
- Seminator 2 can complement generalized Büchi automata via improved semi-determinization
- Bound problems in predicate networks and networks of weakly initial automata
- Determinization and Complementation of Streett Automata
This page was built for publication: Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649286)
