missions seront de : Assurer des missions de recherche dans le domaine de la vérification des systèmes multi-agents Assurer... des interactions continues. Cela a conduit à l'extension du model checking aux systèmes multi-agents (MAS), en utilisant...