ATL with Strategy Contexts and Bounded Memory.

Thomas Brihaye Arnaud Da Costa Lopes François Laroussinie Nicolas Markey

Published in: LFCS (2009)

Keyphrases

bounded memory
multi agent systems
artificial intelligence
search engine
neural network
model checking
search strategy
real world
website
data streams
mobile robot
optimal strategy