Minimizing Regret in Discounted-Sum Games

DOI10.4230/LIPIcs.CSL.2016.30zbMath1369.91036arXiv1511.00523OpenAlexW2963656969MaRDI QIDQ5278417

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

Publication date: 19 July 2017

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

zbMATH Keywords

verificationsynthesisgame theoryregretquantitative games

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Token Games and History-Deterministic Quantitative-Automata