The following pages link to CONCUR 2005 – Concurrency Theory (Q5897499):
Displaying 22 items.
- First-cycle games (Q528186) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Energy parity games (Q1758152) (← links)
- Average-energy games (Q2413482) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- Admissible Strategies in Infinite Games over Graphs (Q3182935) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Computing Game Values for Crash Games (Q3510795) (← links)
- (Q5005142) (← links)
- (Q5013874) (← links)
- (Q5028465) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- Combinations of Qualitative Winning for Stochastic Parity Games (Q5875367) (← links)
- (Q5875382) (← links)
- (Q6134270) (← links)
- Continuous Positional Payoffs (Q6135780) (← links)
- Playing Safe, Ten Years Later (Q6151559) (← links)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)