We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification. © A. Murano, S. Rubin, and M. Zimmermann.
Optimal strategies in weighted limit games / Murano, A.; Rubin, S.; Zimmermann, M.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 326:(2020), pp. 114-130. ( 11th International Symposium on Games, Automata, Logics, and Formal Verification, GANDALF 2020) [10.4204/EPTCS.326.8].
Optimal strategies in weighted limit games
Murano, A.
Membro del Collaboration Group
;
2020
Abstract
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification. © A. Murano, S. Rubin, and M. Zimmermann.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
