Passive verification of the strategyproofness of mechanisms in open environments.

Laura Kang David C. Parkes

Published in: ICEC (2006)

Keyphrases

open environments
multi agent systems
model checking
face verification
neural network
cooperative
embedded systems
mechanism design
verification method
decision making
artificial neural networks
dynamic environments
multiagent systems
human behavior
adaptation process