使用定量博弈计算分支距离
计算机科学中的逻辑
2019-10-22 v1
摘要
我们给出了一种计算标记迁移系统之间分支距离的一般方法。我们将用于定义这些距离的定量博弈翻译为其他路径构建博弈，此类博弈适用于定量博弈理论中的方法。然后我们针对所有常见类型的分支距离展示了如何求解所得的路径构建博弈。最终，我们获得了一种可用于计算线性时间—分支时间谱中所有分支距离的方法。
关键词
引用
@article{arxiv.1910.08943,
title = {Computing Branching Distances Using Quantitative Games},
author = {Uli Fahrenberg and Axel Legay and Karin Quaas},
journal= {arXiv preprint arXiv:1910.08943},
year = {2019}
}