We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired t...
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
The main goals of using simulations and Virtual Environments for Training/Learning (VET/L) are to avoid risks and unwanted consequences, to reduce training costs, and to promote tr...
Kahina Amokrane, Domitile Lourdeaux, Jean-Marie Bu...
They appeared in our life only few years ago and now they are everywhere: computers have become ubiquitous and, almost, irreplaceable. Classical ways of creating, managing and exch...
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...