Infinite Games and Verification (Extended Abstract of a Tutorial).
Wolfgang ThomasPublished in: CAV (2002)
Keyphrases
- extended abstract
- model checking
- game theory
- video games
- nash equilibria
- computer games
- data sets
- game development
- game play
- game theoretic
- neural network
- formal verification
- weighted majority
- game playing
- educational games
- nash equilibrium
- verification method
- functional verification
- finite sets
- asynchronous circuits
- human computation
- learning agents
- imperfect information
- game tree
- face verification
- key features