Report
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
| العنوان: | Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games |
|---|---|
| المؤلفون: | Fränzle, Martin, Winter, Sarah, Zimmermann, Martin |
| المصدر: | EPTCS 390, 2023, pp. 220-235 |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science |
| الوصف: | We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down. Comment: In Proceedings GandALF 2023, arXiv:2309.17318 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.390.14 |
| URL الوصول: | http://arxiv.org/abs/2310.01010 |
| رقم الانضمام: | edsarx.2310.01010 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.390.14 |
|---|