Matthew P. Webster

According to our database, Matthew P. Webster authored at least 31 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions.

Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher

Robotics, 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster

Robotics, 2021

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.

Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn

Paladyn J. Behav. Robotics, 2021

2020

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann

J. Comput. Sci., 2020

A corroborative approach to verification and validation of human-robot teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

Int. J. Robotics Res., 2020

2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems.

Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Probabilistic Model Checking of Robots Deployed in Extreme Environments.

Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Two-stage agent program verification.

Louise A. Dennis, Michael Fisher, Matt Webster

J. Log. Comput., 2018

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Verifiable Self-Certifying Autonomous Systems.

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.

Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons

IEEE Trans. Hum. Mach. Syst., 2016

Formal verification of ethical choices in autonomous systems.

Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster

Robotics Auton. Syst., 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

CoRR, 2016

2014

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.

Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump

J. Aerosp. Inf. Syst., 2014

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.

Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn

Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

Formal Verification of an Autonomous Personal Robotic Assistant.

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Verifying autonomous systems.

Michael Fisher, Louise A. Dennis, Matthew P. Webster

Commun. ACM, 2013

Ethical Choice in Unforeseen Circumstances.

Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster

Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Using Agent JPF to Build Models for Other Model Checkers.

Louise A. Dennis, Michael Fisher, Matthew P. Webster

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems.

Matt Webster, Grant Malcolm

Biosyst., 2012

Model checking agent programming languages.

Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini

Autom. Softw. Eng., 2012

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.

Matt Webster, Neil Cameron, Michael Jump, Michael Fisher

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

Detection of metamorphic and virtualization-based malware using algebraic specification.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2009

2008

Formal models of reproduction : from computer viruses to artificial life.

Matthew P. Webster

PhD thesis, 2008

Formal affordance-based models of computer virus reproduction.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2008

Hierarchical Components and Entity-based Modelling in Artificial Life.

Matt Webster, Grant Malcolm

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Reproducer Classification Using the Theory of Affordances.

Matt Webster, Grant Malcolm

Proceedings of the First IEEE Symposium on Artificial Life, 2007

2006

Detection of metamorphic computer viruses using algebraic specification.

Matt Webster, Grant Malcolm

J. Comput. Virol., 2006