Conference Papers Year : 2023

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

Abstract

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.
Embargoed file
Embargoed file
0 11 2
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

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

Licence

Identifiers

Cite

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⟩
15 View
0 Download

Altmetric

Share

More