Contribution à la spécification formelle et à la vérification de systèmes multi-agents robotiques

L'une des tâches les plus difficiles en ingénierie des spécifications de systèmes multi-agents robotiques est d'assurer les propriétés d exactitude que sont ...