scientific article; zbMATH DE number 7051187
From MaRDI portal
Publication:4633826
zbMath1425.91074MaRDI QIDQ4633826
Luca de Alfaro, Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 6 May 2019
Full work available at URL: https://dl.acm.org/citation.cfm?id=1496793
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Strategy improvement for concurrent reachability and turn-based stochastic safety games ⋮ A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions ⋮ Subgame optimal strategies in finite concurrent games with prefix-independent objectives ⋮ Approximation schemes for stochastic mean payoff games with perfect information and few random positions ⋮ The complexity of solving reachability games using value and strategy iteration ⋮ Unnamed Item
This page was built for publication: