Angelo Ferrando

University of Manchester, University of Liverpool, University of Genoa

论文数

14

总引用数

198

H-Index

7

关于

暂无简介。

研究焦点

Computer science14 · 198 次引用
Artificial intelligence8 · 118 次引用
Programming language9 · 114 次引用
Distributed computing8 · 111 次引用
Software engineering9 · 107 次引用
Robot6 · 105 次引用
Formal verification6 · 94 次引用
Robotics4 · 85 次引用
Engineering5 · 83 次引用
Computer security4 · 81 次引用
Software4 · 78 次引用
Runtime verification5 · 77 次引用

主要成就

7
H 指数
14
论文
198
总引用数
14
篇均引用
🏆 最高被引论文
An Overview of Verification and Validation Challenges for Inspection Robots
60 次引用 · 2021
📈 最高产年份: 2021 (4 论文)
🤝 主要合作者: 45
🏛 所属机构: University of Manchester, University of Liverpool, University of Genoa

代表论文

  1. 1
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 次引用 · 2021
  2. 2
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 次引用 · 2020
  3. 3
    An Interface for Programming Verifiable Autonomous Agents in ROS
    21 次引用 · 2020
  4. 4
    Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
    17 次引用 · 2019
  5. 5
    Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
    14 次引用 · 2022
  6. 6
    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
    11 次引用 · 2023
  7. 7
    Bridging the gap between single- and multi-model predictive runtime verification
    8 次引用 · 2021
  8. 8
    Runtime Verification with Imperfect Information Through Indistinguishability Relations
    4 次引用 · 2022
  9. 9
    RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
    3 次引用 · 2023
  10. 10
    Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?
    3 次引用 · 2021

主要合作者

RCRafael C. Cardoso8 篇合著论文MFMichael Fisher8 篇合著论文MFMarie Farrell4 篇合著论文VMViviana Mascardi4 篇合著论文MLMatt Luckcuck3 篇合著论文FPFabio Papacchini3 篇合著论文LALouise A. Dennis3 篇合著论文CDClare Dixon2 篇合著论文ZKZeid Kootbally2 篇合著论文CSCraig Schlenoff2 篇合著论文XHXiaowei Huang2 篇合著论文DADavide Ancona2 篇合著论文GKGeorgios Kourtis1 篇合著论文VPVincent Pagé1 篇合著论文AGAndrea Gatti1 篇合著论文MJMichael Jump1 篇合著论文JAJustin Albrecht1 篇合著论文SLShan Luo1 篇合著论文TATobias Ahlbrecht1 篇合著论文ACAxel Curmi1 篇合著论文
尚未生成