论文数
15
总引用数
211
H-Index
7
关于
暂无简介。
研究焦点
Computer science15 · 211 次引用
Programming language10 · 142 次引用
Software engineering10 · 133 次引用
Artificial intelligence11 · 125 次引用
Robot10 · 123 次引用
Engineering8 · 111 次引用
Systems engineering5 · 105 次引用
Formal verification6 · 104 次引用
Model checking6 · 104 次引用
Runtime verification5 · 102 次引用
Robotics7 · 92 次引用
Distributed computing5 · 92 次引用
主要成就
7
H 指数
15
论文
211
总引用数
14
篇均引用
🏆 最高被引论文
An Overview of Verification and Validation Challenges for Inspection Robots
60 次引用 · 2021
📈 最高产年份: 2021 (6 论文)
🤝 主要合作者: 33
🏛 所属机构: University of Manchester, University of Liverpool, University of Aberdeen, National Institute of Standards and Technology
代表论文
- 1
- 2
- 3
- 4
- 5
- 6Plan Library Reconfigurability in BDI Agents12 次引用 · 2020
- 7
- 8
- 9
- 10Modular Verification of Autonomous Space Robotics3 次引用 · 2019
主要合作者
MFMichael Fisher14 篇合著论文LALouise A. Dennis9 篇合著论文MFMarie Farrell8 篇合著论文AFAngelo Ferrando8 篇合著论文CDClare Dixon5 篇合著论文MLMatt Luckcuck5 篇合著论文GKGeorgios Kourtis4 篇合著论文MWMatt Webster4 篇合著论文ALAlexei Lisitsa3 篇合著论文CSCraig Schlenoff3 篇合著论文ZKZeid Kootbally2 篇合著论文VMViviana Mascardi2 篇合著论文FPFabio Papacchini2 篇合著论文ECEmily C. Collins1 篇合著论文LBLeandro Buss Becker1 篇合著论文HYHu Yuan1 篇合著论文LFLuca Franceschini1 篇合著论文XHXiaowei Huang1 篇合著论文CDChristopher Dadswell1 篇合著论文CMClaudio Menghi1 篇合著论文
尚未生成