Matt Webster

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