Deterministic Priority Mean-Payoff Games as Limits of Discounted Games

DOI10.1007/11787006_27zbMath1133.91318MaRDI QIDQ3591411

Wiesław Zielonka, Hugo Gimbert

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_27

Mathematics Subject Classification ID

91A15: Stochastic games, stochastic differential games

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Optimal strategy synthesis for request-response games, On Omega-Languages Defined by Mean-Payoff Conditions