第二届博弈、自动机、逻辑与形式验证国际研讨会论文集
计算机科学中的逻辑
2011-06-07 v1
摘要
本卷收录了第二届博弈、自动机、语言与形式验证国际研讨会（GandALF 2011）的论文集。该会议于2011年6月15日至17日在意大利阿马尔菲海岸的米诺利举行。GandALF研讨会旨在为来自不同领域、具有不同背景但对博弈论、数理逻辑、自动机理论及其在复杂系统的规约、设计与验证中的应用有着共同兴趣的研究人员提供一个论坛。本论文集包含三篇特邀报告的摘要以及十九篇经过严格评审过程、根据原创性、质量及与研讨会主题的相关性选出的常规论文。
引用
@article{arxiv.1106.0814,
title = {Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification},
author = {Giovanna D'Agostino and Salvatore La Torre},
journal= {arXiv preprint arXiv:1106.0814},
year = {2011}
}