第十届博弈、自动机、逻辑与形式验证国际研讨会会议录
计算机科学与博弈论
2019-09-16 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
本卷收录了第十届博弈、自动机、逻辑与形式验证国际研讨会（GandALF 2019）的会议录。该研讨会于2010年9月2日至3日在法国波尔多举行。GandALF研讨会由一群对数学逻辑、自动机理论、博弈论及其在复杂系统规约、设计与验证中应用感兴趣的意大利计算机科学家创立。其旨在提供一个论坛，使来自不同领域且可能具有不同背景的人们能够富有成效地互动。GandALF具有真正的国际精神，这由其程序委员会和指导委员会的组成以及投稿论文的国家分布所见证。
引用
@article{arxiv.1909.05979,
title = {Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification},
author = {Jérôme Leroux and Jean-Francois Raskin},
journal= {arXiv preprint arXiv:1909.05979},
year = {2019}
}