1、自动验证与分析技术中的博弈论基础及应用

自动验证与分析技术中的博弈论基础及应用

在自动技术验证与分析领域，博弈论相关概念正发挥着越来越重要的作用。下面将为大家介绍博弈论的基础知识，以及其在并发多人游戏模型中的应用。

会议概述

17 届自动技术验证与分析国际研讨会（ATVA 2019）于 2019 年 10 月 28 - 31 日在中国台湾台北举行。此次会议旨在促进自动分析、验证和综合的理论与实践研究，为该领域的国内外研究团体和行业提供交流平台。

会议共收到 65 篇高质量论文投稿，每篇论文平均有 3 篇评审意见。经过仔细评审，程序委员会接受了 24 篇常规论文和 3 篇工具论文。评审和选择过程涉及程序委员会成员通过 EasyChair 会议管理系统进行深入讨论，最终达成共识。

为了丰富会议内容，还安排了四场主题演讲和三场教程，演讲者包括 Armin Biere、Patricia Bouyer - Decitre、Rupak Majumdar 和 Joseph Sifakis 等知名学者。

会议的成功举办离不开所有投稿作者、程序委员会成员以及额外评审人员的辛勤付出，同时也感谢台湾科技部、德国 fortiss 研究所、台湾中央研究院和 Springer 对 ATVA 2019 的赞助。

组织架构

• 指导委员会 ：成员来自美国、日本、以色列、中国台湾等地的知名高校，包括 E. Allen Emerson（美国德克萨斯大学奥斯汀分校）、Teruo Higashino（日本大阪大学）等。
• 程序委员会 ：成员同样来自世界各地的高校和研究机