This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium 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.

翻译：本卷收录了第十四届国际游戏、自动机、逻辑与形式化验证研讨会（GandALF 2023）的论文集。GandALF 2023 研讨会的宗旨是汇聚来自学术界和工业界、在游戏、自动机、逻辑与形式化验证领域活跃的研究人员，旨在涵盖从理论到应用的广泛主题，并促进交叉融合。