Login / Signup
Special Issue: Games in Verification.
Helmut Veith
Published in:
J. Comput. Syst. Sci. (2012)
Keyphrases
</>
special issue
ai edam
international journal
model checking
ecml pkdd
applied intelligence
special section
game design
video games
game theory
educational games
game playing
nash equilibrium
game theoretic
nash equilibria
computer games
decision making
signature verification
game development