Matt Webster

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 16

Top Topics

Autonomous Systems

Formal Verification

Intelligent Assistant

Top Venues

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

Publications

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
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Vincent Pagé, Christopher Dadswell, Matt Webster, Mike Jump, Michael Fisher
Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics 10 (3) (2021)
Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics 12 (1) (2021)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45 (2020)
Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks
The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. EMAS@AAMAS (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR (2018)
Louise A. Dennis, Michael Fisher, Matt Webster
Two-stage agent program verification. J. Log. Comput. 28 (3) (2018)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
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
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS (2017)
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster
Formal verification of ethical choices in autonomous systems. Robotics Auton. Syst. 77 (2016)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia (2014)
Matt Webster, Grant Malcolm
R-Models: A mathematical framework for capturing notions of abstraction and assistance in reproductive systems. Biosyst. 110 (2) (2012)
Matt Webster, Neil Cameron, Michael Jump, Michael Fisher
Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. Infotech@Aerospace (2012)
Matt Webster, Grant Malcolm
Detection of metamorphic and virtualization-based malware using algebraic specification. J. Comput. Virol. 5 (3) (2009)
Matt Webster, Grant Malcolm
Hierarchical Components and Entity-based Modelling in Artificial Life. ALIFE (2008)
Matt Webster, Grant Malcolm
Formal affordance-based models of computer virus reproduction. J. Comput. Virol. 4 (4) (2008)
Matt Webster, Grant Malcolm
Reproducer Classification Using the Theory of Affordances. ALIFE (2007)
Matt Webster, Grant Malcolm
Detection of metamorphic computer viruses using algebraic specification. J. Comput. Virol. 2 (3) (2006)