第十五届博弈、自动机、逻辑与形式化验证国际研讨会论文集
形式语言与自动机理论
2024-10-30 v1 计算复杂性
计算机科学中的逻辑
摘要
本卷收录了GandALF 2024，即第十五届博弈、自动机、逻辑与形式化验证国际研讨会的会议论文集。GandALF 2024于2024年6月19日至21日在冰岛雷克雅未克举行。GandALF 2024旨在汇集来自学术界和工业界、活跃于博弈、自动机、逻辑与形式化验证领域的研究人员。其理念是涵盖从理论到应用的广泛主题，并促进交叉融合。
引用
@article{arxiv.2410.21884,
title = {Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification},
author = {Antonis Achilleos and Adrian Francalanza},
journal= {arXiv preprint arXiv:2410.21884},
year = {2024}
}