Matt Webster

University of Liverpool — United Kingdom

Computer Science · Physical Sciences

19h-index1.4kcitations59works7.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(20), Multi-Agent Systems and Negotiation(9), Advanced Software Engineering Methodologies(9), Logic, Reasoning, and Knowledge(8), Software Testing and Debugging Techniques(6)

Publications59 total

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
2024· 7 citedOpen Access
AsteroidX: An Asteroid Exploration Simulation and Visualisation Tool
Liverpool John Moores University·2021Open Access
Model Checking for Formal Verification of Space Systems
Liverpool John Moores University·2021Open Access
Verification for space robotics
Institution of Engineering and Technology eBooks·2021· 1 cited
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions
2021
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions
Robotics·2021· 3 citedOpen Access
A Review of Verification and Validation for Space Autonomous Systems
Current Robotics Reports·2021· 21 citedOpen Access
An Overview of Verification and Validation Challenges for Inspection Robots
Robotics·2021· 57 citedOpen Access
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
Paladyn Journal of Behavioral Robotics·2021· 7 citedOpen Access
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods
Journal of Computational Science·2020· 6 citedOpen Access
Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations
2020· 2 cited
The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems
Lecture notes in computer science·2020· 24 citedOpen Access
Modular Verification of Autonomous Space Robotics
arXiv (Cornell University)·2019· 3 citedOpen Access
Towards a Methodology to Test UAVs in Hazardous Environments
International Conference on Autonomic and Autonomous Systems·2019· 2 cited
Explainability for Gwendolen Programs (Initial Version)
University of Liverpool·2019Open Access
Verifiable Self-Certifying Autonomous Systems
2018· 26 cited
Certification of Safe and Trusted Robotic Inspection of Assets
2018· 9 cited
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems
EasyChair preprint·2018· 5 citedOpen Access
Towards Robots for Social Engagement
2017· 2 cited
CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
Lecture notes in computer science·2017· 10 cited
page 1 of 3Next →

Frequent Co-authors

Michael Fisher(30), Clare Dixon(14), Louise A. Dennis(13), Michael Jump(11), Kerstin Dautenhahn(7), Joe Saunders(6), Grant Malcolm(6), Kheng Lee Koay(5), Neil Cameron(5), Vincent Pagé(5), Maha Salem(4), Rafael C. Cardoso(3), Marie Farrell(3), Georgios Kourtis(3), Alexei Lisitsa(3), Matt Luckcuck(3), Michael Breza(3), Julie A. McCann(3), Marija Slavkovik(2), Adrian Colyer(2)