Pages that link to "Item:Q1337694"
From MaRDI portal
The following pages link to Progress measures, immediate determinacy, and a subset construction for tree automata (Q1337694):
Displaying 11 items.
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Determinization and memoryless winning strategies (Q1357005) (← links)
- Automata on infinite trees (Q2074210) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- (Q5020999) (← links)
- Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs (Q6566586) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
