2026-07-20T11:46:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5657 2024-03-06T10:36:44Z ddc:004 open_access

Games with Delays - A Frankenstein Approach Berwanger, Dietmar van den Bogaard, Marie infinite games on graphs imperfect information delayed monitoring distributed synthesis We investigate infinite games on finite graphs where the information flow is perturbed by non- deterministic signalling delays. It is known that such perturbations make synthesis problems virtually unsolvable, in the general case. On the classical model where signals are attached to states, tractable cases are rare and difficult to identify. In this paper, we propose a model where signals are detached from control states, and we identify a subclass on which equilibrium outcomes can be preserved, even if signals are delivered with a delay that is finitely bounded. To offset the perturbation, our solution procedure combines responses from a collection of virtual plays following an equilibrium strategy in the instant- signalling game to synthesise, in a Dr. Frankenstein manner, an equivalent equilibrium strategy for the delayed-signalling game. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dietmar Berwanger and Marie van den Bogaard 2015 Is Part Of LIPIcs, Volume 45, 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2015.307 urn:nbn:de:0030-drops-56575 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2015.307 eng https://creativecommons.org/licenses/by/3.0/legalcode