The following pages link to Florian Horn (Q2379983):
Displaying 13 items.
- Dicing on the Streett (Q2379984) (← links)
- Two Recursively Inseparable Problems for Probabilistic Automata (Q2922022) (← links)
- Finitary winning in ω-regular games (Q2946587) (← links)
- Playing Safe (Q2978529) (← links)
- SELF-STABILIZING k-out-of-ℓ EXCLUSION IN TREE NETWORKS (Q2997926) (← links)
- The Complexity of Request-Response Games (Q3004582) (← links)
- Graph Games on Ordinals (Q3165954) (← links)
- Explicit Muller Games are PTIME (Q3165962) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- Entropy Games and Matrix Multiplication Games (Q4601862) (← links)
- (Q5089313) (← links)
- Random Fruits on the Zielonka Tree (Q5390006) (← links)
- Playing Safe, Ten Years Later (Q6151559) (← links)
