This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which 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.

中文翻译：

---

第 12 届游戏、自动机、逻辑和形式验证国际研讨会论文集

本卷包含第 12 届国际博弈、自动机、逻辑和形式验证研讨会 (GandALF 2021) 的会议记录。GandALF 2021 研讨会的目的是将在游戏、自动机、逻辑和形式验证领域积极工作的学术界和工业界的研究人员聚集在一起。这个想法是涵盖广泛的主题，从理论到应用，并刺激交叉施肥。