arrow
返回

Quantitative Strategy Templates

delete2026-01-01
delete0
PRE
AI
A
Anand, Ashwani
N
Nayak, Satya Prakash *
R
Raha, Ritam
S
Saglam, Irmak
S
Schmuck, Anne Kathrin
DOI:10.1007/978-3-032-0707-221delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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

期刊

A
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF:
0
论文数:
21
被引数:
0

机构

M
max planck society
学者数:
2.5K
论文数: 1.1K
被引数: 3
引用论文

引用论文

暂无论文信息