返回
Quantitative Strategy Templates
DOI:10.1007/978-3-032-0707-221.png)
摘要
En 中文
本文提出了一种(容许)定量策略模板(QaSTels),用于简洁地表示双人能量和平均支付博弈中的无限多个获胜策略。这将对w-正则博弈中最近引入的容许(定性)策略模板(PeSTels)的概念扩展到具有定量目标的博弈中。我们提供了(i)QaSTel合成以及(ii)它们与PeSTels的(增量)组合的理论和算法基础。通过原型实现,我们经验性地证明,QaSTels将策略模板相对于单个获胜策略的优越特性(已知来自PeSTels)扩展到具有(附加)定量目标的博弈中。这包括:(i)由于运行时适应性而增强的策略鲁棒性,以及(ii)模板相对于增量到达目标的组合性。我们使用受控制启发的示例来说明QaSTels在CPS设计中的这些卓越特性。
Keyword:
MEAN-PAYOFF GAMES
COMPLEXITY
期刊
A
IF:
0
论文数:
21
被引数:
0
机构
引用论文
暂无论文信息

