Specifying and Verifying a MAS: The Robots on MarsCase Study.

Bruno Mermet Gaële Simon Bruno Zanuttini Arnaud Saval

Published in: PROMAS (2007)

Keyphrases

cooperative
multi agent systems
database
learning algorithm
complex systems
mobile robot
service robots
factors affecting
multi robot
experimental study
search algorithm
multi agent
reinforcement learning
similarity measure
website
information retrieval
data sets