乌里·法伦贝格;Legay、Axel;卡琳·夸斯 使用定量游戏计算分支距离。 (英文) Zbl 1464.68238号 Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 59-75 (2019). 摘要:我们给出了计算标记过渡系统之间分支距离的一般方法。我们将用于定义这些距离的量化游戏转换为其他适合于量化游戏理论方法的路径构建游戏。然后,我们展示了对于所有常见类型的分支距离,如何求解生成的路径构建游戏。最后,我们实现了一种可以用于计算线性时间分支时间谱中所有分支距离的方法。关于整个系列,请参见[Zbl 1425.68012号]. 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 91A80 博弈论的应用 关键词:定量验证;分支距离;定量博弈;造路游戏 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。11884,59-75(2019;Zbl 1464.68238) 全文: 内政部 arXiv公司