坎通纳，多梅尼科（编辑）;乔治·德尔扎诺（编辑） 2016年9月14日至16日，在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 （英语） Zbl 1436.68019号 理论计算机科学电子论文集（EPTCS）226.滑铁卢：开放出版协会（OPA）。315页。，仅电子版，开放存取（2016年）。 将索引文章显示为搜索结果。 引言：本卷包含第七届国际游戏、自动化、逻辑和形式验证研讨会（GandALF 2016）的会议记录。研讨会于2016年9月14日至16日在意大利卡塔尼亚举行。本卷的文章将单独进行审查。关于上一次研讨会，请参见[Zbl 1435.68028号].索引文章：帕特里克·阿法特；哈，迈克尔，奇偶对策的部分解算器：有效多项式时间合成，1-15[Zbl 1478.68139号]卡洛斯·阿雷塞斯；费尔瓦里，劳尔；纪尧姆·霍夫曼；毛里西奥·马特尔，关系改变逻辑作为混合逻辑的片段，16-29[Zbl 1478.03032号]马西莫·贝内雷切蒂；丹尼尔·德尔巴；法比奥·莫加维罗，平价游戏延迟促销政策，30-45[兹比尔1478.68144]Nick Bezhanishvili；克莱门斯·库普克，拓扑不动点逻辑游戏，46-60[Zbl 1478.03064号]Patricia Bouyer；尼古拉斯·马基（Nicolas Markey）；丹尼尔·斯坦，终端报酬并发博弈中不精确偏差下的随机均衡，61-75[Zbl 1478.91035号]劳拉·博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里（Angelo Montanari）；阿德里亚诺·佩隆（Adriano Peron）；皮埃特罗·萨拉，模型检查Allen关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的，76-90[Zbl 1478.68148号]大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科，《论模态逻辑子命题片段的表达能力》，91-104[Zbl 1478.03034号]弗洛里安·布鲁斯，对于高阶模态定点逻辑，交替是严格的，105-119[Zbl 1478.03035号]弗洛里安·布鲁斯；丹尼尔·克恩伯格（Daniel Kernberger）；马丁·兰格，具有交集的无迭代PDL的规范模型构造，120-134[Zbl 1478.03036号]布鲁埃、维罗尼克；哈特姆，昆廷；米凯尔·兰多尔，窗口奇偶游戏：有时间限制的奇偶游戏的替代方法，135-148[兹比尔1478.91036]Droste，曼弗雷德；乔治·拉霍尼斯，加权线性动态逻辑，149-163[Zbl 1478.03065号]盖尔·方丹；法比奥·莫加维罗；阿尼埃洛·穆拉诺（Aniello Murano）；朱塞佩·佩雷利；Loredana索伦蒂诺，计算树逻辑中的循环检测，164-177[Zbl 1478.68158号]皮埃尔·甘蒂（Pierre Ganty）；达米尔·瓦普特，有界振荡下推自动机，178-197[Zbl 1478.68127号]Miika Hannula；Juha Kontine；吕克，马丁；乔尼·维尔特玛，关于量化命题逻辑和指数时间层次，198-212[Zbl 1478.03066号]胡塔加隆，米尔卡；诺伯特·亨德斯哈根；迪特里希·库斯克；马丁·兰格（Martin Lange）；艾蒂安·洛兹，跟踪语言包含的多缓冲区模拟，213-227[Zbl 1478.68130号]瑞典雅各布斯；Tentrup，Leander；马丁·齐默尔曼，分布式PROMPT-LTL合成，228-241[Zbl 1478.68163号]勒鲁（Le Roux），斯特芬（Stéphane）；阿诺·保利，有限和无限序列对策的半势（扩展抽象），242-256[Zbl 1481.91025号]托默·利巴尔（Tomer Libal）；马尔科·沃尔佩，模态逻辑前缀表证明的认证，257-271[Zbl 1478.03021号]吉木中村，正则语言的渐近概率几乎等价及其计算复杂性，272-286[兹比尔1478.68132]马克·雷诺兹，LTL表格的新规则，287-301[Zbl 1478.03030号]Tentrup，Leander；亚历山大·韦内特（Alexander Weinert）；马丁·齐默尔曼，在双指数时间内快速-LTL可实现性的近似最优界，302-315[兹比尔1478.68179] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 00时25分 杂项特定利益的会议记录 引文：Zbl 1435.68028号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}（编辑）和\textit{G.Delzanno}（编），第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，意大利卡塔尼亚，2016年9月14-16日。滑铁卢：开放出版协会（OPA）（2016；Zbl 1436.68019） 全文： 内政部 arXiv公司 链接