Xavier Défago -- Model-Checking for Gathering with lights in Euclidian spaces
1 : Tokyo Institute of Technology
(Tokyo-Tech)
-
Website
TBA
| Subject : | : | oral |
| Topics | : | Robotic Swarms |
| Topics | : | Distributed Computing |
| Topics | : | Formal Methods |
| Topics | : | Verification |
| PDF version | : |  PDF version |
