Mean-Payoff Games with Partial-Observation

DOI10.1007/978-3-319-11439-2_13zbMath1393.68106arXiv1309.5462OpenAlexW2105918522MaRDI QIDQ3447703

Guillermo A. Pérez, Paul Hunter, Jean-François Raskin

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.5462

Mathematics Subject Classification ID

Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Mean-payoff games with partial observation ⋮ The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete ⋮ Reactive synthesis without regret ⋮ Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games

This page was built for publication: Mean-Payoff Games with Partial-Observation