论文标题
第13届国际游戏，自动机，逻辑和正式验证会议论文集
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
论文作者
论文摘要
该卷包含第13届国际游戏，自动机，逻辑和正式验证的程序（Gandalf 2022）。 Gandalf 2022研讨会的目的是将来自学术界和行业的研究人员聚集在游戏，自动机，逻辑和正式验证领域。这个想法是要涵盖从理论到应用的各种主题，并刺激交叉施肥。
This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2022). The aim of GandALF 2022 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.
