Pages that link to "Item:Q4953338"
From MaRDI portal
The following pages link to Computing the Rabin Index of a Parity Automaton (Q4953338):
Displaying 12 items.
- Computing the rabin index of a regular language of infinite words (Q675222) (← links)
- The Rabin index of parity games: its complexity and approximation (Q897647) (← links)
- Chain automata (Q1351952) (← links)
- A gap property of deterministic tree languages. (Q1401364) (← links)
- Automata on infinite trees (Q2074210) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- Deciding low levels of tree-automata hierarchy (Q4916202) (← links)
- (Q5014447) (← links)
- On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words (Q6094518) (← links)
- From Spot 2.0 to Spot 2.10: What’s New? (Q6487335) (← links)
- Practical applications of the alternating cycle decomposition (Q6535610) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)