Keyphrases
- game theoretic
- interactive theorem proving
- game theory
- decision problems
- nash equilibrium
- imperfect information
- rational agents
- trust model
- nash equilibria
- cooperative
- theorem proving
- regret minimization
- agent behavior
- data mining
- pure nash equilibria
- minority game
- solution concepts
- combinatorial auctions
- theorem prover
- von neumann
- reinforcement learning
- resource allocation