Laure Millet

Centre National de la Recherche Scientifique

论文数

4

总引用数

78

H-Index

3

关于

暂无简介。

研究焦点

Artificial intelligence4 · 78 次引用
Mathematical proof4 · 78 次引用
Robot4 · 78 次引用
Distributed computing4 · 78 次引用
Computer science4 · 78 次引用
Mobile robot4 · 78 次引用
Correctness4 · 78 次引用
Theoretical computer science3 · 76 次引用
Mathematics2 · 71 次引用
Formal methods3 · 45 次引用
Programming language3 · 45 次引用
Model checking3 · 45 次引用

主要成就

3
H 指数
4
论文
78
总引用数
20
篇均引用
🏆 最高被引论文
Formal verification of mobile robot protocols
38 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 9
🏛 所属机构: Centre National de la Recherche Scientifique

代表论文

  1. 1
    Formal verification of mobile robot protocols
    38 次引用 · 2016
  2. 2
    On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
    33 次引用 · 2014
  3. 3
    [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
    5 次引用 · 2015
  4. 4
    Vérification formelle et robots mobiles
    2 次引用 · 2013

主要合作者

MPMaria Potop-Butucaru4 篇合著论文STSébastien Tixeuil4 篇合著论文BBBéatrice Bérard3 篇合著论文YTYann Thierry-Mieg2 篇合著论文NSNathalie Sznajder2 篇合著论文LRLionel Rieg1 篇合著论文PLPascal Lafourcade1 篇合著论文PCPierre Courtieu1 篇合著论文XUXavier Urbain1 篇合著论文
尚未生成