Page personnelle

Catalin Dima

Professeur – LACL

Page personnelle

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

SMA – Systèmes multi-agents, décision collective

Mots-clés :

• model-checking

Modifier vos informations