第十一届游戏、自动机、逻辑与形式验证国际研讨会会议论文集
计算机科学中的逻辑
2020-09-22 v1 形式语言与自动机理论
计算机科学与博弈论
摘要
本卷收录了第十一届游戏、自动机、逻辑与形式验证国际研讨会（GandALF 2020）的会议论文。该研讨会于 2020 年 9 月 21 日至 22 日作为完全在线活动举行。GandALF 研讨会由一群对数学逻辑、自动机理论、博弈论及其在复杂系统的规约、设计与验证中的应用感兴趣的意大利计算机科学家创立。其旨在提供一个论坛，让来自不同领域且可能具有不同背景的人们能够富有成效地互动。GandALF 具有真正的国际精神，这从程序委员会与指导委员会的组成以及投稿论文的国家分布中可见一斑。
引用
@article{arxiv.2009.09360,
title = {Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification},
author = {Jean-Francois Raskin and Davide Bresolin},
journal= {arXiv preprint arXiv:2009.09360},
year = {2020}
}