Dagan Harrington

Fordham University

论文数

4

总引用数

41

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 41 次引用
Artificial intelligence4 · 41 次引用
Robot4 · 41 次引用
Simulation2 · 29 次引用
Real-time computing2 · 29 次引用
Software2 · 29 次引用
Programming language2 · 29 次引用
Robotics2 · 24 次引用
Embedded system1 · 19 次引用
Process (computing)1 · 19 次引用
Context (archaeology)1 · 19 次引用
Software construction1 · 19 次引用

主要成就

4
H 指数
4
论文
41
总引用数
10
篇均引用
🏆 最高被引论文
Automatic Verification of Autonomous Robot Missions
19 次引用 · 2014
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 9
🏛 所属机构: Fordham University

代表论文

  1. 1
    Automatic Verification of Autonomous Robot Missions
    19 次引用 · 2014
  2. 2
    Probabilistic Verification of Multi-robot Missions in Uncertain Environments
    10 次引用 · 2015
  3. 3
    Automatic Verification of Autonomous Robot Missions
    7 次引用 · 2014
  4. 4
    Performance guarantees for C-WMD robot missions
    5 次引用 · 2013

主要合作者

DMDamian M. Lyons4 篇合著论文SJShu Jiang4 篇合著论文RCRonald C. Arkin3 篇合著论文PTPeng Tang1 篇合著论文FTFeng Tang1 篇合著论文MJMatthew J O’Brien1 篇合著论文TLTsung-Ming Liu1 篇合著论文MOMatthew O’Brien1 篇合著论文RARonald Arking1 篇合著论文
尚未生成