@@ -6,7 +6,7 @@ Agents systematically base their decision on their local knowledge.
The process is triggered by a supervisor agent which invites other agents to begin their rounds of interactions.
Each agent $a_i$ is sent a \beginAlgo{} message by the supervisor and initiates its variable's value at random in the variable's domain.
The behaviour of each agent is defined by a finite state automata (see Figure~\ref{full_agent} for the big picture and Figures~\ref{beginning}, \ref{offerer}, \ref{receiver}, \ref{committed} and \ref{uncommitted} for focused extracts ).
The behaviour of each agent is defined by a finite state automata (see Figure~\ref{full_agent}in annex for the big picture and Figures~\ref{beginning}, \ref{offerer}, \ref{receiver}, \ref{committed} and \ref{uncommitted} for focused extracts ).
Communication of potential moves and their corresponding potential gains helps agents determine who should act. A single move is an action wherevy an agent changes the current value of its variable to another possible value belonging to the variable's domain.
A coordinated move is similar but involves two agents changing the values of their variables. Note that a move can also be static if the change to \textit{another} value of the domain happens to be the current value of the variable.
...
...
@@ -36,11 +36,7 @@ A coordinated move is similar but involves two agents changing the values of the
\item\final{}: the last state an agent can be into, after having received the \stopAlgo{} message from the supervisor.