scientific article; zbMATH DE number 7204373
From MaRDI portal
Publication:5111253
DOI10.4230/LIPIcs.MFCS.2017.39zbMath1441.91015arXiv1706.06139MaRDI QIDQ5111253
Krishnendu Chatterjee, Alexander Svozil, Monika R. Henzinger
Publication date: 26 May 2020
Full work available at URL: https://arxiv.org/abs/1706.06139
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40) Games involving graphs (91A43) Applications of game theory (91A80)
Related Items (1)
Cites Work
- Unnamed Item
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- Faster algorithms for mean-payoff games
- Positional strategies for mean payoff games
- Synthesizing robust systems
- Energy and Mean-Payoff Parity Markov Decision Processes
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Energy Parity Games
- Better Quality in Synthesis through Quantitative Objectives
- Supervisory Control of a Class of Discrete Event Processes
- Perfect-Information Stochastic Mean-Payoff Parity Games
- Solving Sequential Conditions by Finite-State Strategies
This page was built for publication:
