A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Jörg DeselEkkart KindlerTobias VesperRolf WalterPublished in: Inf. Process. Lett. (1995)
Keyphrases
- formal proof
- card game
- game playing
- video games
- card games
- computer games
- perfect information
- game theory
- lightweight
- application layer
- game play
- theorem prover
- educational games
- network protocols
- security protocols
- cryptographic protocols
- theorem proving
- game theoretic
- imperfect information
- monte carlo tree search
- optimal strategy
- authentication protocol
- game based learning
- search algorithm
- virtual world
- sensor networks