Sébastien Tixeuil
3
Documents
Publications
- 3
- 3
- 3
- 3
- 1
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue
hal-01344903v1
|
|
Vérification formelle et robots mobiles15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00818707v1
|
|
Formal verification of Mobile Robot Protocols[Research Report] LIP6. 2013
Rapport
hal-00834061v1
|