杰罗姆·勒鲁（编辑）;Jean-Francois拉斯金（编辑） 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2019年9月2日至3日，法国波尔多，GandaLF2019。 （英语） Zbl 1436.68031号 理论计算机科学电子论文集（EPTCS）305.滑铁卢：开放出版协会（OPA）。182页。，仅电子、开放存取（2019年）。 将索引文章显示为搜索结果。 引言：本卷包含第十届国际游戏、自动化、逻辑和形式验证研讨会（GandALF 2019）的会议记录。研讨会于2019年9月2日至3日在法国波尔多举行。本卷的文章将单独进行审查。关于之前的研讨会，请参阅[Zbl 1436.68032号].索引文章：丹尼尔·奈德（Daniel Neider）；亚历山大·韦内特（Alexander Weinert）；马丁·齐默尔曼、稳健、表达性和定量线性时序逻辑：免费选择任意两种，1-16[Zbl 1487.68159号]Hélouét，Loíc；尼古拉斯·马基（Nicolas Markey）；里塔姆·拉哈，放松能量约束的可达性游戏，17-33[Zbl 07453074号]埃米莉·查理尔；西斯特尼诺，塞利亚；阿德琳·马苏尔，Thue-Morse集倍数的状态复杂性，34-49[Zbl 07453075号]科琳娜·科斯特，用于最优合成的资源感知自动机和游戏，50-65[Zbl 07453076号]彼得罗·加利亚尼，刻画强烈的一阶依赖关系：非跳跃相对化情况，66-82[Zbl 07453077号]汉森，克里斯托弗·阿恩斯费尔特；米哈伊尔·拉斯金，一个没有固定平衡的固定游戏，83-90[Zbl 07453078号]帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔，运行时强制屏蔽的规范和最佳反应合成，91-106[Zbl 1504.68130号]汤姆·范·迪克，两个计数器的奇偶游戏，107-122[兹比尔07453080]范迪克，汤姆；鲍勃·鲁本斯，求解平价游戏的简单定点迭代，123-139[Zbl 07453081号]丘巴奇（Chubachi）、凯萨武罗（Kaizaburo）；亨德里安，迪普塔拉马；吉中、良；Ayumi Shinohara，剩余符号有限自动机的查询学习算法，140-153[Zbl 07453082号]卡隆·帕斯卡；埃德温·哈梅尔·德勒（Edwin Hamel-de le），法院；Jean-Gabriel卢克，状态复杂性的代数和组合工具：应用于星X问题，154-168[Zbl 07453083号]基蒂·盖尔；萨博尔茨·伊凡，关于分散上下文无关排序的排序类型，169-182[Zbl 07453084号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 00B25型 杂项特定利益的会议记录 引文：Zbl 1436.68032号 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}（编辑）和\textit{J.-F.Raskin}（主编），第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年甘道夫，法国波尔多，2019月2-3日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1436.68031） 全文： 内政部 arXiv公司 链接