第九届博弈、自动机、逻辑与形式验证国际研讨会会议论文集
计算机科学中的逻辑
2018-09-11 v1 形式语言与自动机理论
摘要
本卷收录了第九届博弈、自动机、逻辑与形式验证国际研讨会（GandALF 2018）的会议论文。该研讨会于 2018 年 9 月 26 日至 28 日在德国萨尔布吕肯举行。GandALF 研讨会由一群对数学逻辑、自动机理论、博弈论及其在复杂系统规约、设计与验证中应用感兴趣的意大利计算机科学家创立。其旨在提供一个论坛，使来自不同领域且可能具有不同背景的人们能够富有成效地互动。GandALF 具有真正的国际精神，这由其程序委员会与指导委员会的组成以及所提交论文的国家分布所印证。
引用
@article{arxiv.1809.02416,
title = {Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification},
author = {Andrea Orlandini and Martin Zimmermann},
journal= {arXiv preprint arXiv:1809.02416},
year = {2018}
}