Reasoning about Abstract Open Systems with Generalized Module Checking.

Patrice Godefroid

Published in: EMSOFT (2003)

Keyphrases

open systems
cognitive agents
autonomous agents
wisdom web
high level
multiagent systems
computer simulation
social networks
data analysis
open multiagent systems