Pages that link to "Item:Q1276252"
From MaRDI portal
The following pages link to Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252):
Displayed 50 items.
- Solving parity games in big steps (Q340584) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Alternating traps in Muller and parity games (Q389948) (← links)
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Symbolic approximate time-optimal control (Q533800) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Visibly linear temporal logic (Q682377) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Quantitatively fair scheduling (Q764298) (← links)
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- On the positional determinacy of edge-labeled games (Q818128) (← links)
- The Rabin index of parity games: its complexity and approximation (Q897647) (← links)
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Note on winning positions on pushdown games with \(\omega\)-regular conditions (Q1007544) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Parity game reductions (Q1656552) (← links)
- Generalized matrix projective synchronization of general colored networks with different-dimensional node dynamics (Q1660333) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Memoryless determinacy of finite parity games: another simple proof (Q1705645) (← links)
- Memoryless determinacy of infinite parity games: another simple proof (Q1711414) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← links)
- Energy parity games (Q1758152) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- The finite graph problem for two-way alternating automata. (Q1874281) (← links)
- Memoryless determinacy of parity and mean payoff games: a simple proof (Q1884982) (← links)
- Entanglement and the complexity of directed graphs (Q1929212) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Automata on infinite trees (Q2074210) (← links)
- The GKK algorithm is the fastest over simple mean-payoff games (Q2097231) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Dicing on the Streett (Q2379984) (← links)
- Measure properties of regular sets of trees (Q2407093) (← links)
- A superpolynomial lower bound for strategy iteration based on snare memorization (Q2446310) (← links)
- Marking shortest paths on pushdown graphs does not preserve MSO decidability (Q2629775) (← links)