安德烈亚·奥兰迪尼（编辑）;马丁·齐默尔曼（编辑） 第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2018年9月26日至28日，德国萨尔布吕肯，GandALF 2018。 （英语） Zbl 1436.68032号 理论计算机科学电子论文集（EPTCS）277.滑铁卢：开放出版协会（OPA）。第279页。，仅电子版，开放存取（2018年）。 将索引文章显示为搜索结果。 引言：本卷包含第九届国际游戏、自动化、逻辑和形式验证研讨会（GandALF 2018）的会议记录。研讨会于2018年9月26日至28日在德国萨尔布吕肯举行，第一版在意大利境外举办。本卷的文章将单独进行审查。关于之前的研讨会，请参阅[Zbl 1436.68017号].索引文章：亚历山大·韦内特，数量减少和顶点排名无限游戏，1-15[Zbl 1524.91021号]托马斯·布里海耶（Thomas Brihaye）；布鲁埃、维罗尼克；阿琳·戈明恩；Jean-François拉斯金，具有\（\omega\）-正则布尔目标的弱亚博弈完美平衡的约束存在性问题，16-29[Zbl 1524.91017号]阿诺·保利，参数化游戏和参数化自动机，30-42[兹比尔1528.68194]费德里科·阿西埃里（Federico Aschieri）；蝉蜕、阿加塔；弗朗西斯科·詹科（Francesco A.Genco）。，经典证明作为并行程序，43-57[Zbl 1528.68055号]彼得罗·加利亚尼，团队语义中的安全依赖原子和可能性操作符，58-72[Zbl 1524.03025号]埃里克·古堡；勒登·杰雷米；塞尔吉奥·拉杰斯鲍姆，用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型，73-87[Zbl 1498.03045号]赫金-哈布什，杰斯科；Leander Tentrup公司，通过抽象求解QBF，88-102[Zbl 1528.68223号]Lisette Sanchez；威格·威瑟林克（Wieger Wesselink）；Tim A.C.Willemse。，基于BDD的奇偶博弈解算器的比较，103-117[Zbl 1528.68235号]范登博斯，佩特拉；玛丽尔·斯托琳加，Tester vs.bug:通过游戏进行基于模型测试的通用框架，118-132[Zbl 1528.68238号]Balasubramanian，A.R。，结构化广播网络覆盖性的参数化验证，133-146[Zbl 1528.68207号]托拜厄斯·冈德森（Tobias R.Gundersen）。；弗洛里安·洛伯（Florian Lorber）；乌尔里克·奈曼；克里斯蒂安·奥维森，轻松的故障定位：埃克达尔实时系统的一致性测试，147-160[Zbl 1528.68222号]米歇尔·奇亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉，运算符优先语言的时态逻辑和模型检查，161-175[兹比尔1528.68215]卢卡·盖蒂；尼古拉·吉甘特（Nicola Gigante）；安吉洛·蒙塔纳里（Angelo Montanari）；马克·雷诺兹、用于\（\mathrm{TPTL}\）和\（\mathrm）的单通道和树形表格系统{TPTL}_b+\mathrm（过去），176-190[Zbl 1524.03015号]劳拉·博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里（Angelo Montanari）；阿德里亚诺·佩隆《密集时间域上基于时间线的规划的复杂性：探索中间地带》，191-205[Zbl 1528.68358号]Przybyłko，马钦，关于计算一阶可定义树集的测度，206-219[Zbl 1528.68197号]罗查、蒂亚戈·阿尔维斯；马丁斯（Ana Teresa Martins）；弗朗西克勃·马丁斯·费雷拉，关于找到与字符串样本一致的一阶句子，220-234[Zbl 1528.68198号]劳拉·博泽利；阿尼埃洛·穆拉诺（Aniello Murano）；阿德里亚诺·佩隆，时间无上下文时序逻辑，235-249[Zbl 1528.68212号]Patricia Bouyer；毛里西奥·冈萨雷斯；尼古拉斯·马基（Nicolas Markey）；米凯尔·兰多尔，具有可达性目标的多加权马尔可夫决策过程，250-264[Zbl 1527.90248号]达纳州安格鲁因；达纳·菲斯曼，Regular \（\omega \）-具有信息右同余的语言，265-279[Zbl 1528.68169号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 00B25型 杂项特定利益的会议记录 引文：Zbl 1436.68017号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Orlandini｝（编辑）和\textit｛M.Zimmermann｝（编辑），第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）（2018；Zbl 1436.68032） 全文： 内政部 arXiv公司 链接