Matt Luckcuck

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

Papers

13

Total Citations

386

H-Index

6

About

No biography available yet.

Research Focus

Computer science13 · 386 citations
Artificial intelligence8 · 352 citations
Robot6 · 347 citations
Robotics4 · 329 citations
Programming language9 · 315 citations
Software engineering8 · 306 citations
Formal verification4 · 303 citations
Formal methods5 · 299 citations
Rotation formalisms in three dimensions2 · 280 citations
Formal specification2 · 279 citations
Correctness1 · 264 citations
Certification1 · 264 citations

Key Achievements

6
H-Index
13
Papers
386
Total Citations
30
Avg Citations/Paper
🏆 Most Cited Paper
Formal Specification and Verification of Autonomous Robotic Systems
264 citations · 2019
📈 Most Prolific Year: 2021 (4 Papers)
🤝 Key Collaborators: 25
🏛 Institutions: University of Liverpool, National University of Ireland, Maynooth, University of Manchester, University of Nottingham

Top Papers

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

Key Collaborators

MFMarie Farrell10 shared papersMFMichael Fisher7 shared papersLALouise A. Dennis6 shared papersRCRafael C. Cardoso5 shared papersAFAngelo Ferrando3 shared papersCDClare Dixon3 shared papersALAlexei Lisitsa2 shared papersGKGeorgios Kourtis2 shared papersFPFabio Papacchini2 shared papersMWMatt Webster2 shared papersRMRosemary Monahan1 shared papersVPVincent Pagé1 shared papersXHXiaowei Huang1 shared papersAAAtef Azaiez1 shared papersAJA. J. White1 shared papersCDChristopher Dadswell1 shared papersSLShan Luo1 shared papersHMHazel M Taylor1 shared papersSFSteve Frost1 shared papersECEmily C. Collins1 shared papers
Not generated yet