  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.
