Xavier Défago -- Model-Checking for Gathering with lights in Euclidian spaces
1 : Tokyo Institute of Technology
(Tokyo-Tech)
-
Site web
TBA
| Type : | : | oral |
| Thématiques | : | Essaims de robots |
| Thématiques | : | Algorithmique distribuée |
| Thématiques | : | Méthodes formelles |
| Thématiques | : | Vérification |
| PDF version | : |  PDF version |
