|
 |
Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems
Tel :
Fax :
Office : 75/PCRI-S
Personal web page :
Email : Robin.Pelle@lri.fr |
Software & Patents - Pactole: Coq formalisation a mobile sensors networks.
Ph.D. dissertations & Faculty habilitations Thesis in progress - Contribution to the formal modelling of mobile robot swarms
|