With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

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

Résumé

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.
Fichier sous embargo
Fichier sous embargo
0 11 29
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04731928 , version 1 (11-10-2024)

Licence

Identifiants

Citer

Petra van Den Bos, Mariëlle Stoelinga. With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.155-172, ⟨10.1007/978-3-031-35355-0_10⟩. ⟨hal-04731928⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

More