Clare Dixon

University of Liverpool, University of Manchester

论文数

29

总引用数

999

H-Index

14

关于

暂无简介。

研究焦点

Computer science29 · 999 次引用
Artificial intelligence21 · 769 次引用
Robot20 · 763 次引用
Software engineering15 · 587 次引用
Programming language16 · 509 次引用
Formal verification13 · 473 次引用
Robotics6 · 420 次引用
Formal methods9 · 413 次引用
Swarm behaviour7 · 307 次引用
Swarm robotics7 · 307 次引用
Correctness3 · 280 次引用
Formal specification2 · 273 次引用

主要成就

14
H 指数
29
论文
999
总引用数
34
篇均引用
🏆 最高被引论文
Formal Specification and Verification of Autonomous Robotic Systems
264 次引用 · 2019
📈 最高产年份: 2021 (4 论文)
🤝 主要合作者: 51
🏛 所属机构: University of Liverpool, University of Manchester

代表论文

  1. 1
    Formal Specification and Verification of Autonomous Robotic Systems
    264 次引用 · 2019
  2. 2
    Analysing robot swarm behaviour via probabilistic model checking
    95 次引用 · 2011
  3. 3
    Taxonomy of Trust-Relevant Failures and Mitigation Strategies
    93 次引用 · 2020
  4. 4
    On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
    79 次引用 · 2005
  5. 5
    Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
    70 次引用 · 2015
  6. 6
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 次引用 · 2021
  7. 7
    Towards temporal verification of swarm robotic systems
    59 次引用 · 2012
  8. 8
    Formal Verification of an Autonomous Personal Robotic Assistant
    31 次引用 · 2014
  9. 9
    Formal Verification of Probabilistic Swarm Behaviours
    27 次引用 · 2010
  10. 10
    A Review of Verification and Validation for Space Autonomous Systems
    24 次引用 · 2021

主要合作者

MFMichael Fisher22 篇合著论文MWMatt Webster11 篇合著论文MFMarie Farrell9 篇合著论文LALouise A. Dennis9 篇合著论文KDKerstin Dautenhahn6 篇合著论文JSJoe Saunders5 篇合著论文RCRafael C. Cardoso5 篇合著论文GKGeorgios Kourtis4 篇合著论文AWAlan Winfield4 篇合著论文KLKheng Lee Koay4 篇合著论文UHUllrich Hustadt3 篇合著论文ALAlexei Lisitsa3 篇合著论文MLMatt Luckcuck3 篇合著论文PGPaul Gainer3 篇合著论文MSMaha Salem3 篇合著论文SKSavas Konur2 篇合著论文NMNikos Mavrakis2 篇合著论文AFAngelo Ferrando2 篇合著论文RSRichard Stocker2 篇合著论文YGYang Gao2 篇合著论文
尚未生成