论文标题
会议记录第11届国际游戏，自动机，逻辑和正式验证
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
论文作者
论文摘要
该卷包含第11届国际游戏，自动机，逻辑和正式验证的会议记录（Gandalf 2020）。该研讨会是在2020年9月21日至22日作为一个完全在线活动进行的。甘道夫研讨会是由一群对数学逻辑，自动机理论，游戏理论及其对复杂系统规范，设计和验证的意大利计算机科学家建立的。其目的是提供一个论坛，在该论坛中，来自不同领域的人们，可能具有不同背景的人可以有效的互动。甘道夫（Gandalf）具有真正的国际精神，正如该计划和指导委员会的组成以及提交文件的国家分发所见证的那样。
This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully online event on September 21-22, 2020. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.
