Programming and Verifying Subgame Perfect Mechanisms

Published in: CoRR (2002)

Keyphrases

programming language
programming environment
mechanisms underlying
artificial intelligence
information systems
building blocks
multi agent
cooperative
computational complexity
dynamic programming
web applications
computational model
model checking
computer programming