第五届博弈、自动机、逻辑与形式验证国际研讨会论文集
计算机科学与博弈论
2014-08-26 v1 形式语言与自动机理论
计算机科学中的逻辑
摘要
本卷收录了第五届博弈、自动机、逻辑与形式验证国际研讨会（GandALF 2014）的论文集。该研讨会于 2014 年 9 月 10 日至 12 日在意大利维罗纳举行。研讨会论文集包含三场特邀报告的摘要以及 19 篇经严格评审后录用并在会议上宣读的论文。录用论文的主题涵盖广泛，包括算法与行为博弈论、博弈语义、形式语言与自动机理论、模态与时态逻辑、软件验证以及混合系统。
引用
@article{arxiv.1408.5560,
title = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification},
author = {Adriano Peron and Carla Piazza},
journal= {arXiv preprint arXiv:1408.5560},
year = {2014}
}