Matt Webster

University of Liverpool, Liverpool John Moores University

Papers

15

Total Citations

278

H-Index

8

About

No biography available yet.

Research Focus

Computer science15 · 278 citations
Software engineering10 · 203 citations
Programming language9 · 190 citations
Artificial intelligence12 · 181 citations
Human–computer interaction8 · 175 citations
Formal verification7 · 163 citations
Robot11 · 157 citations
Computer security5 · 131 citations
Engineering7 · 109 citations
Formal methods3 · 96 citations
Model checking6 · 93 citations
Systems engineering5 · 92 citations

Key Achievements

8
H-Index
15
Papers
278
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
70 citations · 2015
📈 Most Prolific Year: 2021 (5 Papers)
🤝 Key Collaborators: 44
🏛 Institutions: University of Liverpool, Liverpool John Moores University

Top Papers

  1. 1
    Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
    70 citations · 2015
  2. 2
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 citations · 2021
  3. 3
    Formal Verification of an Autonomous Personal Robotic Assistant
    31 citations · 2014
  4. 4
    The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems
    24 citations · 2020
  5. 5
    A Review of Verification and Validation for Space Autonomous Systems
    24 citations · 2021
  6. 6
    “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours
    24 citations · 2014
  7. 7
    CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
    10 citations · 2017
  8. 8
    Certification of Safe and Trusted Robotic Inspection of Assets
    9 citations · 2018
  9. 9
    Can you trust your robotic assistant
    7 citations · 2013
  10. 10
    Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
    7 citations · 2021

Key Collaborators

MFMichael Fisher14 shared papersCDClare Dixon11 shared papersKDKerstin Dautenhahn6 shared papersLALouise A. Dennis5 shared papersJSJoe Saunders5 shared papersGKGeorgios Kourtis4 shared papersMFMarie Farrell4 shared papersRCRafael C. Cardoso4 shared papersKLKheng Lee Koay4 shared papersALAlexei Lisitsa3 shared papersMSMaha Salem3 shared papersVPVincent Pagé3 shared papersMJMichael Jump2 shared papersMLMatt Luckcuck2 shared papersCDChristopher Dadswell2 shared papersPGPaul Gainer2 shared papersAFAngelo Ferrando1 shared papersKVKoen V. Hindriks1 shared papersJCJoe Collenette1 shared papersVJVincent J. Koeman1 shared papers
Not generated yet