Solving Parity Games in Theory and Practice

从理论和实践中解决平价博弈

• 批准号: EP/P020992/1
• 负责人: Marcin Jurdzinski
• 金额: $ 44.34万
• 依托单位: University of Warwick
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2017
• 资助国家: 英国
• 起止时间: 2017 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FP020992%2F1
• 关键词: Solving; Parity; Games; Theory; Practice

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

GTR目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

Regular and First Order List Functions

常规和一阶列表函数

• DOI: 10.48550/arxiv.1803.06168
• 发表时间: 2018
• 作者: Bojanczyk M

When are emptiness and containment decidable for probabilistic automata?

概率自动机什么时候可以判定空性和包含性？

• DOI: 10.1016/j.jcss.2021.01.006
• 发表时间: 2021
• 期刊: Journal of Computer and System Sciences
• 影响因子: 1.1
• 作者: Daviaud L

A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games

求解平均收益平价博弈的伪拟多项式算法

• DOI: 10.48550/arxiv.1803.04756
• 发表时间: 2018
• 作者: Daviaud L

Perfect half space games

完美的半空间游戏

• DOI: 10.1109/lics.2017.8005105
• 发表时间: 2017
• 作者: Colcombet T

Reachability in fixed dimension vector addition systems with states

具有状态的固定维向量加法系统的可达性

• DOI: 10.4230/lipics.concur.2020.48
• 发表时间: 2020
• 期刊: Leibniz International Proceedings in Informatics, LIPIcs
• 作者: Czerwinski W.