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

Petra van den Bos*, Marielle Stoelinga

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 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 languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication43rd IFIP WG 6.1 International Conference, FORTE 2023
EditorsMarieke Huisman, António Ravara
Place of PublicationCham
PublisherSpringer Nature
Pages155-172
Number of pages18
ISBN (Electronic)978-3-031-35355-0
ISBN (Print)978-3-031-35354-3
DOIs
Publication statusPublished - 10 Jun 2023
Event43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023 - Lisbon, Portugal
Duration: 19 Jun 202323 Jun 2023
Conference number: 43

Publication series

NameLecture Notes in Computer Science
Volume13910

Conference

Conference43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023
Abbreviated titleFORTE 2023
Country/TerritoryPortugal
CityLisbon
Period19/06/2323/06/23
OtherHeld as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023

Keywords

  • 2023 OA procedure

Fingerprint

Dive into the research topics of 'With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves'. Together they form a unique fingerprint.

Cite this