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.
- Sevenster, Merlijn: The complexity of Scotland Yard (2007)
- Tan, Li: PlayGame: A platform for diagnostic games (2004)
Further publications can be found at: http://users.tricity.wsu.edu/~litan/publications.html