第四届博弈、自动机、逻辑与形式验证国际研讨会论文集
计算机科学与博弈论
2013-07-17 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
本卷收录了第四届博弈、自动机、逻辑与形式验证国际研讨会（GandALF 2013）的论文集。该研讨会于 2013 年 8 月 29 日至 31 日在意大利博尔卡迪卡多雷（Borca di Cadore）举行。研讨会论文集包含三场特邀报告的摘要以及 17 篇经过严格评审后被录用并在会议上宣读的论文。录用论文的主题涵盖广泛，包括算法与行为博弈论、博弈语义、形式语言与自动机理论、模态与时态逻辑、软件验证以及混合系统。
引用
@article{arxiv.1307.4162,
title = {Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification},
author = {Gabriele Puppis and Tiziano Villa},
journal= {arXiv preprint arXiv:1307.4162},
year = {2013}
}