Verifying Systems of Resource-Bounded Agents.

Natasha Alechina Brian Logan

Published in: CiE (2016)

Keyphrases

resource bounded
autonomous agents
information gathering
multi agent systems
meta level
multi agent
dynamic environments
resource allocation
neural network
intelligent agents
multiagent systems
intelligent systems
model checking
multiresolution
expert systems
decision making
data mining