Matt Luckcuck

University of Liverpool, National University of Ireland, Maynooth, University of Manchester, University of Nottingham

论文数

13

总引用数

386

H-Index

6

关于

暂无简介。

研究焦点

Computer science13 · 386 次引用

Artificial intelligence8 · 352 次引用

Robot6 · 347 次引用

Robotics4 · 329 次引用

Programming language9 · 315 次引用

Software engineering8 · 306 次引用

Formal verification4 · 303 次引用

Formal methods5 · 299 次引用

Rotation formalisms in three dimensions2 · 280 次引用

Formal specification2 · 279 次引用

Correctness1 · 264 次引用

Certification1 · 264 次引用

主要成就

6

H 指数

13

论文

386

总引用数

30

篇均引用

🏆 最高被引论文

Formal Specification and Verification of Autonomous Robotic Systems

264 次引用 · 2019

📈 最高产年份: 2021 (4 论文)

🤝 主要合作者: 25

🏛 所属机构: University of Liverpool, National University of Ireland, Maynooth, University of Manchester, University of Nottingham

代表论文

1
Formal Specification and Verification of Autonomous Robotic Systems
264 次引用 · 2019
2
An Overview of Verification and Validation Challenges for Inspection Robots
60 次引用 · 2021
3
Towards Compositional Verification for Modular Robotic Systems
16 次引用 · 2020
4
Using formal methods for autonomous systems: Five recipes for formal verification
15 次引用 · 2023
5
Bridging the gap between single- and multi-model predictive runtime verification
8 次引用 · 2021
6
Principles for the Development and Assurance of Autonomous Systems for Safe Use in Hazardous Environments
7 次引用 · 2021
7
Modular Verification of Autonomous Space Robotics
3 次引用 · 2019
8
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors.
3 次引用 · 2020
9
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
2 次引用 · 2025
10
An Abstract Architecture for Explainable Autonomy in Hazardous Environments
2 次引用 · 2022

尚未生成