AI 中文总结
本文是关于GandALF 2026研讨会论文集的介绍，该会议于2026年在丹麦奥尔堡举行，旨在汇集博弈、自动机、逻辑与形式化验证领域的研究者，促进理论与应用的交叉融合。
AI 中文摘要
本卷收录了 GandALF 2026（第十七届国际博弈、自动机、逻辑与形式化验证研讨会）的会议论文集。该研讨会于2026年9月15日至17日在丹麦奥尔堡举行。GandALF 2026旨在汇集来自学术界和工业界、活跃于博弈、自动机、逻辑与形式化验证领域的研究人员。其理念是覆盖从理论到应用的广泛主题，并促进交叉融合。
英文摘要
This volume contains the proceedings of GandALF 2026, the Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification. The symposium was held in Aalborg, Denmark, on September 15-17, 2026. The aim of GandALF 2026 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.
Journal refEPTCS 454, 2026
