The following pages link to CONCUR 2005 – Concurrency Theory (Q5897499):
Displayed 13 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)
- 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)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)