第一届博弈、自动机、逻辑与形式化验证研讨会论文集
计算机科学与博弈论
2010-06-10 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
本卷收录了2010年6月17日至18日在意大利米诺里（阿马尔菲海岸）举行的第一届“博弈、自动机、逻辑与形式化验证（GandALF）”研讨会的论文集。该研讨会由一群对博弈论、数理逻辑、自动机理论及其在复杂系统规约、设计与验证中的应用感兴趣的意大利计算机科学家发起。它涵盖了广泛的研究主题，从理论方面到具体应用。其目的是为来自不同领域、可能具有不同背景的人们提供一个能够成功互动的论坛。该活动的国际高水平形象由程序委员会的组成和最终议程所证明。
引用
@article{arxiv.1006.1711,
title = {Proceedings First Symposium on Games, Automata, Logic, and Formal Verification},
author = {Angelo Montanari and Margherita Napoli and Mimmo Parente},
journal= {arXiv preprint arXiv:1006.1711},
year = {2010}
}