Login / Signup

Solving games via three-valued abstraction refinement.

Luca de AlfaroPritam Roy
Published in: Inf. Comput. (2010)
Keyphrases
  • high level
  • combinatorial optimization
  • data sets
  • board game
  • nash equilibrium
  • game theoretic
  • data abstraction
  • imperfect information games