第八届博弈、自动机、逻辑与形式验证国际研讨会会议录
计算机科学与博弈论
2017-09-07 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
本卷包含第八届博弈、自动机、逻辑与形式验证国际研讨会 (GandALF 2017) 的会议录。研讨会于2017年9月20日至22日在意大利罗马举行。GandALF 研讨会由一群对数学逻辑、自动机理论、博弈论及其在复杂系统的规约、设计与验证中的应用感兴趣的意大利计算机科学家创立。其旨在提供一个论坛，使来自不同领域且可能具有不同背景的人们能够富有成效地互动。GandALF 具有真正的国际精神，这由程序委员会和指导委员会的组成以及提交论文的国家分布所见证。
引用
@article{arxiv.1709.01761,
title = {Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification},
author = {Patricia Bouyer and Andrea Orlandini and Pierluigi San Pietro},
journal= {arXiv preprint arXiv:1709.01761},
year = {2017}
}