PlayGame is an integrated tool for implementing and playing various diagnostic games. The tool uses a semantics hierarchy to improve code sharing among various diagnostic games and reduce the cost of introducing a new game. PlayGame synthesizes the winning strategy using the evidence that is an abstract and uniform encoding of the proof computed by a checker, and hence instead of relying on any particular checker the tool works on a variety of checkers that can be extended to produce such evidence. The current version of PlayGame implements game-based diagnostic routines for mu Calculus model checking game and a full range of equivalence/preorder semantics including: bisimulation /simulation, weak bisimulation /simulation, trace equivalence /preorder, and testing equivalence /preorder. Blow is the architecture design of PlayGame.

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Sevenster, Merlijn: The complexity of Scotland Yard (2007)
  2. Tan, Li: PlayGame: A platform for diagnostic games (2004)

Further publications can be found at: