Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909370462240768 |
|---|---|
| author | Achilleos, Antonis Francalanza, Adrian |
| author_facet | Achilleos, Antonis Francalanza, Adrian |
| contents | This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 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-fertilization.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_21884 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification Achilleos, Antonis Francalanza, Adrian Formal Languages and Automata Theory Computational Complexity Logic in Computer Science This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 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-fertilization. |
| title | Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification |
| topic | Formal Languages and Automata Theory Computational Complexity Logic in Computer Science |
| url | https://arxiv.org/abs/2410.21884 |