With a little help from your friends: semi-cooperative games via Joker moves

Petra van den Bos; Marielle Stoelinga

doi:10.48550/arXiv.2304.13417

With a little help from your friends: semi-cooperative games via Joker moves

Research output: Working paper › Preprint › Academic

39 Downloads (Pure)

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.

Original language	English
Publisher	ArXiv.org
DOIs	https://doi.org/10.48550/arXiv.2304.13417
Publication status	Published - 26 Apr 2023

Keywords

cs.GT

Access to Document

10.48550/arXiv.2304.13417Licence: CC BY

2304.13417v4Final published version, 693 KBLicence: CC BY

Artefact for paper "With a little help from your friends: semi-cooperative games via Joker moves"
van den Bos, P. (Creator), Zenodo, 9 Mar 2023
DOI: 10.5281/zenodo.7712109, https://zenodo.org/record/7712109 and one more link, https://doi.org/10.5281/zenodo.7712108 (show fewer)
Dataset

With a little help from your friends: semi-cooperative games via Joker moves
van den Bos, P. & Stoelinga, M., 2025, In: Logical methods in computer science. 21, 1, p. 1-39 39 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
29 Downloads (Pure)
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves
van den Bos, P. & Stoelinga, M., 10 Jun 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Huisman, M. & Ravara, A. (eds.). Cham: Springer, p. 155-172 18 p. (Lecture Notes in Computer Science; vol. 13910).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
3 Link opens in a new tab Citations (Scopus)

125 Downloads (Pure)

Cite this

@techreport{1285dca34fbe4091a91b867059d6cfac,

title = "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. ",

keywords = "cs.GT",

author = "Bos, \{Petra van den\} and Marielle Stoelinga",

note = "Journal version for LMCS issue",

year = "2023",

month = apr,

day = "26",

doi = "10.48550/arXiv.2304.13417",

language = "English",

publisher = "ArXiv.org",

type = "WorkingPaper",

institution = "ArXiv.org",

}

TY - UNPB

T1 - With a little help from your friends

T2 - semi-cooperative games via Joker moves

AU - Bos, Petra van den

AU - Stoelinga, Marielle

N1 - Journal version for LMCS issue

PY - 2023/4/26

Y1 - 2023/4/26

N2 - 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.

AB - 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.

KW - cs.GT

U2 - 10.48550/arXiv.2304.13417

DO - 10.48550/arXiv.2304.13417

M3 - Preprint

BT - With a little help from your friends

PB - ArXiv.org

ER -

With a little help from your friends: semi-cooperative games via Joker moves

Abstract

Keywords

Access to Document

Fingerprint

Datasets

Artefact for paper "With a little help from your friends: semi-cooperative games via Joker moves"

Research output

With a little help from your friends: semi-cooperative games via Joker moves

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

Cite this