Programming and Verifying Subgame-Perfect Mechanisms.

Published in: J. Log. Comput. (2005)

Keyphrases

programming language
nash equilibria
model checking
mechanisms underlying
subgame perfect
data sets
object oriented programming
programming environment
database
artificial intelligence
high level
computer programs
computer programming