IMITATOR4AMAS: Strategy Synthesis for STCTL
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917267414974464 |
|---|---|
| author | Catta, Davide Lacroix, Adrien Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil |
| author_facet | Catta, Davide Lacroix, Adrien Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil |
| contents | IMITATOR4AMAS supports model checking and synthesis of memoryless imperfect information strategies for STCTL, interpreted over networks of parametric timed automata with asynchronous execution. While extending the verifier IMITATOR, IMITATOR4AMAS is the first tool for strategy synthesis in this setting. Our experimental results show a substantial speedup over previous approaches. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_10810 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | IMITATOR4AMAS: Strategy Synthesis for STCTL Catta, Davide Lacroix, Adrien Penczek, Wojciech Petrucci, Laure Sidoruk, Teofil Logic in Computer Science Multiagent Systems IMITATOR4AMAS supports model checking and synthesis of memoryless imperfect information strategies for STCTL, interpreted over networks of parametric timed automata with asynchronous execution. While extending the verifier IMITATOR, IMITATOR4AMAS is the first tool for strategy synthesis in this setting. Our experimental results show a substantial speedup over previous approaches. |
| title | IMITATOR4AMAS: Strategy Synthesis for STCTL |
| topic | Logic in Computer Science Multiagent Systems |
| url | https://arxiv.org/abs/2602.10810 |