Pages that link to "Item:Q2958522"
From MaRDI portal
The following pages link to Infinite-state games with finitary conditions (Q2958522):
Displaying 16 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- On Robot Games of Degree Two (Q2799175) (← links)
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
- (Q4452102) (← links)
- Games of stopping with infinite horizon (Q4859454) (← links)
- (Q5015274) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- (Q5079761) (← links)
- (Q5232902) (← links)
- Monotonic and Downward Closed Games (Q5450572) (← links)
- Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs (Q6566586) (← links)
- Characterizing positionality in games of Infinite duration over infinite graphs (Q6566588) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)