With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves

被引：0
|
作者：
van den Bos, Petra [1 ]
Stoeling, Marielle [1 ,2 ]
机构：
[1] Univ Twente, Formal Methods & Tools, Enschede, Netherlands
[2] Radboud Univ Nijmegen, Dept Software Sci, Nijmegen, Netherlands
来源：
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023 | 2023年 / 13910卷
关键词：
INFINITE GAMES;
D O I：
10.1007/978-3-031-35355-0_10
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their use in model-based testing.
引用
收藏
页码：155 / 172
页数：18
相关论文
共 50 条
12345