Matthew P. Webster

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Formal Specification

Temporal Analysis

Top Venues

Autom. Softw. Eng.

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS (2014)
Matthew P. Webster, Neil Cameron, Michael Fisher, Mike Jump
Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerosp. Inf. Syst. 11 (5) (2014)
Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matthew P. Webster
Ethical Choice in Unforeseen Circumstances. TAROS (2013)
Michael Fisher, Louise A. Dennis, Matthew P. Webster
Verifying autonomous systems. Commun. ACM 56 (9) (2013)
Louise A. Dennis, Michael Fisher, Matthew P. Webster
Using Agent JPF to Build Models for Other Model Checkers. CLIMA (2013)
Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini
Model checking agent programming languages. Autom. Softw. Eng. 19 (1) (2012)
Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP (2011)