Louise A. Dennis

University of Liverpool, University of Nottingham, University of Manchester, Merseytravel

论文数

29

总引用数

887

H-Index

16

关于

暂无简介。

研究焦点

Computer science29 · 887 次引用
Artificial intelligence19 · 678 次引用
Robot16 · 635 次引用
Programming language18 · 566 次引用
Software engineering17 · 524 次引用
Robotics9 · 474 次引用
Formal verification10 · 381 次引用
Formal methods8 · 364 次引用
Engineering15 · 340 次引用
Correctness3 · 294 次引用
Rotation formalisms in three dimensions3 · 282 次引用
Formal specification2 · 273 次引用

主要成就

16
H 指数
29
论文
887
总引用数
31
篇均引用
🏆 最高被引论文
Formal Specification and Verification of Autonomous Robotic Systems
264 次引用 · 2019
📈 最高产年份: 2020 (6 论文)
🤝 主要合作者: 68
🏛 所属机构: University of Liverpool, University of Nottingham, University of Manchester, Merseytravel

代表论文

  1. 1
    Formal Specification and Verification of Autonomous Robotic Systems
    264 次引用 · 2019
  2. 2
    On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
    78 次引用 · 2019
  3. 3
    Predicting the metabolic energy costs of bipedalism using evolutionary robotics
    65 次引用 · 2003
  4. 4
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 次引用 · 2021
  5. 5
    Evaluating alternative gait strategies using evolutionary robotics
    50 次引用 · 2004
  6. 6
    Towards Moral Autonomous Systems
    47 次引用 · 2017
  7. 7
    Verifiable Self-Aware Agent-Based Autonomous Systems
    43 次引用 · 2020
  8. 8
    Integrating Formal Verification and Assurance: An Inspection Rover Case Study
    35 次引用 · 2021
  9. 9
    Autonomous Nuclear Waste Management
    32 次引用 · 2018
  10. 10
    The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems
    24 次引用 · 2020

主要合作者

MFMichael Fisher24 篇合著论文MFMarie Farrell10 篇合著论文RCRafael C. Cardoso9 篇合著论文CDClare Dixon9 篇合著论文MLMatt Luckcuck6 篇合著论文MWMatt Webster5 篇合著论文GKGeorgios Kourtis4 篇合著论文ALAlexei Lisitsa4 篇合著论文AWAlan Winfield3 篇合著论文AFAngelo Ferrando3 篇合著论文WIWilliam I. Sellers2 篇合著论文HYHu Yuan2 篇合著论文SMSándor M. Veres2 篇合著论文MBMatthew Bradbury2 篇合著论文RHRobin H. Crompton2 篇合著论文CMCarsten Maple2 篇合著论文RSRichard Stocker2 篇合著论文VJVincent J. Koeman1 篇合著论文BLBarry Lennox1 篇合著论文RRRob Richardson1 篇合著论文
尚未生成