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