Complementing Büchi Automata with Ranker
From MaRDI portal
Publication:6487336
Recommendations
Cites work
- scientific article; zbMATH DE number 1927559 (Why is no real title available?)
- scientific article; zbMATH DE number 1765703 (Why is no real title available?)
- scientific article; zbMATH DE number 3341983 (Why is no real title available?)
- A simple and optimal complementation algorithm for Büchi automata
- Advanced automata minimization
- Alternating finite automata on \(\omega\)-words
- An improved construction of deterministic omega-automaton using derivatives
- BÜCHI COMPLEMENTATION MADE TIGHTER
- Büchi Complementation and Size-Change Termination
- Büchi complementation made tight
- Complementing Büchi Automata with Ranker
- Complementing semi-deterministic Büchi automata
- Experimental Evaluation of Classical Automata Constructions
- Five Determinisation Algorithms
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Improved Ramsey-based Büchi complementation
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- New optimizations and heuristics for determinization of Büchi automata
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
- Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation
- Seminator 2 can complement generalized Büchi automata via improved semi-determinization
- State of Büchi complementation
- The complementation problem for Büchi automata with applications to temporal logic
- Weak alternating automata are not that weak
Cited in
(7)- On the power of finite ambiguity in Büchi complementation
- Complementing Büchi Automata with Ranker
- From Spot 2.0 to Spot 2.10: What’s New?
- Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
- Simulations in rank-based Büchi automata complementation
- Modular mix-and-match complementation of Büchi automata
- On minimal odd rankings for Büchi complementation
This page was built for publication: Complementing Büchi Automata with Ranker
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487336)
