定量可达性斯塔克尔贝格-帕累托综合是NEXPTIME-完备的
摘要：在本文中，我们深入研究了在图形上进行的两个玩家Stackelberg游戏，其中玩家0宣布一种策略，玩家1作出合理的回应，遵循给他帕累托最优支付的游戏，鉴于玩家0的策略。Stackelberg-Pareto综合问题最近已经针对ω-正则目标进行了研究，该问题问玩家0是否能宣布一种策略，以满足他的目标，无论玩家1如何合理的回应。我们解决了带权图游戏和定量可达性目标的这个问题，玩家0想要在总成本少于某个给定上界的情况下达到他的目标集。我们证明了该问题与布尔可达性目标一样，是NEXPTIME完全的。
作者：Thomas Brihaye and V''eronique Bruy`ere and Gaspard Reghem
论文ID：2308.09443
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-08-21