Playing Stochastically in Weighted Timed Games to Emulate Memory

Weighted timed games are two-player zero-sum games played in a timed automaton equipped with integer weights. We consider optimal reachability objectives, in which one of the players, that we call Min, wants to reach a target location while minimising the cumulated weight. While knowing if Min has a...

Полное описание

Сохранить в:
Библиографические подробности
Главные авторы: Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Формат: Artigo
Язык:Inglês
Опубликовано: Logical Methods in Computer Science e.V. 2025-02-01
Серии:Logical Methods in Computer Science
Предметы:
computer science - computer science and game theory
Online-ссылка:http://lmcs.episciences.org/10993/pdf
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Схожие документы