Modeling and verifying multi-agent behaviors using predicate/transition nets.

Dianxiang Xu Richard A. Volz Thomas R. Ioerger John Yen

Published in: SEKE (2002)

Keyphrases

multi agent
cooperative
agent based simulations
neural network
reinforcement learning
multi agent systems
intelligent agents
model checking
crowd simulation
learning algorithm
search engine
dynamic behaviors
behavioral models