A Zone-Based Algorithm for Timed Parity Games
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918157013221376 |
|---|---|
| author | Geeraerts, Gilles Herbreteau, Frédéric Raskin, Jean-François Reynouard, Alexis |
| author_facet | Geeraerts, Gilles Herbreteau, Frédéric Raskin, Jean-François Reynouard, Alexis |
| contents | This paper revisits timed games by building upon the semantics introduced in "The Element of Surprise in Timed Games". We introduce some modifications to this semantics for two primary reasons: firstly, we recognize instances where the original semantics appears counterintuitive in the context of controller synthesis; secondly, we present methods to develop efficient zone-based algorithms. Our algorithm successfully addresses timed parity games, and we have implemented it using UppAal's zone library. This prototype effectively demonstrates the feasibility of a zone-based algorithm for parity objectives and a rich semantics for timed interactions between the players. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_07361 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Zone-Based Algorithm for Timed Parity Games Geeraerts, Gilles Herbreteau, Frédéric Raskin, Jean-François Reynouard, Alexis Logic in Computer Science This paper revisits timed games by building upon the semantics introduced in "The Element of Surprise in Timed Games". We introduce some modifications to this semantics for two primary reasons: firstly, we recognize instances where the original semantics appears counterintuitive in the context of controller synthesis; secondly, we present methods to develop efficient zone-based algorithms. Our algorithm successfully addresses timed parity games, and we have implemented it using UppAal's zone library. This prototype effectively demonstrates the feasibility of a zone-based algorithm for parity objectives and a rich semantics for timed interactions between the players. |
| title | A Zone-Based Algorithm for Timed Parity Games |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2510.07361 |