scientific article; zbMATH DE number 7559480
From MaRDI portal
Publication:5089289
DOI10.4230/LIPIcs.CONCUR.2020.24MaRDI QIDQ5089289
Patricia Bouyer, Stéphane Le Roux, Mickael Randour, Pierre Vandenhove, Youssouf Oualhadj
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- First-cycle games
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
- Positional strategies for mean payoff games
- Borel determinacy
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Extending finite-memory determinacy to multi-player games
- Energy parity games
- Automata, logics, and infinite games. A guide to current research
- Strategy synthesis for multi-dimensional quantitative objectives
- The complexity of multi-mean-payoff and multi-energy games
- Looking at mean-payoff and total-payoff through windows
- Average-energy games
- Non-Zero Sum Games for Reactive Synthesis
- Deciding Maxmin Reachability in Half-Blind Stochastic Games
- Bounding Average-Energy Games
- Graph Games and Reactive Synthesis
- Trading Bounds for Memory in Games with Counters
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Pure Stationary Optimal Strategies in Markov Decision Processes
- Half-Positional Determinacy of Infinite Games
- Infinite sequential Nash equilibrium
- Simple Strategies in Multi-Objective MDPs
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Mathematical Foundations of Computer Science 2004
- Generalized Parity Games
- CONCUR 2005 – Concurrency Theory
