Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915497519349760 |
|---|---|
| author | Bacci, Giorgio Francalanza, Adrian |
| author_facet | Bacci, Giorgio Francalanza, Adrian |
| contents | This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilisation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_13258 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification Bacci, Giorgio Francalanza, Adrian Logic in Computer Science This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th September 2025, in Valletta, Malta. The aim of GandALF 2025 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilisation. |
| title | Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2509.13258 |