任意权重的单钟加权时序游戏的可决定性
摘要：加权时序游戏（简称WTG）是描述涉及实时问题的控制器合成问题最广泛使用的模型。不幸的是，它们因为通常难以处理而闻名。因此，一钟表WTG引起了很多关注，特别是当只允许非负权重时已知为可判定。然而，当考虑任意权重时，尽管有一些最近的研究，它们的可判定性仍然未知。在本文中，我们积极解决了这个问题，并展示了在指数时间内可以计算值函数（如果权重以一元编码）。
作者：Benjamin Monmege, Julie Parreaux and Pierre-Alain Reynier
论文ID：2207.01608
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-03-29