Seguir
Matt Webster
Matt Webster
Postdoc in Computer Science, University of Liverpool
Dirección de correo verificada de liverpool.ac.uk - Página principal
Título
Citado por
Citado por
Año
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
2372016
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19, 5-63, 2012
1872012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1762013
Toward reliable autonomous robotic assistants through formal verification: A case study
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015
852015
Formal methods for the certification of autonomous unmanned aircraft systems
M Webster, M Fisher, N Cameron, M Jump
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
802011
A corroborative approach to verification and validation of human–robot teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
The International Journal of Robotics Research 39 (1), 73-99, 2020
742020
Generating certification evidence for autonomous unmanned aircraft using model checking and simulation
M Webster, N Cameron, M Fisher, M Jump
Journal of Aerospace Information Systems 11 (5), 258-279, 2014
682014
Formal verification of an autonomous personal robotic assistant
M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ...
2014 AAAI Spring Symposium Series, 2014
552014
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
412021
Probabilistic model checking of robots deployed in extreme environments
X Zhao, V Robu, D Flynn, F Dinmohammadi, M Fisher, M Webster
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 8066-8074, 2019
412019
Detection of metamorphic computer viruses using algebraic specification
M Webster, G Malcolm
Journal in Computer Virology 2, 149-161, 2006
382006
Verifiable self-certifying autonomous systems
M Fisher, E Collins, L Dennis, M Luckcuck, M Webster, M Jump, V Page, ...
2018 IEEE international symposium on software reliability engineering …, 2018
342018
“The fridge door is open”–Temporal Verification of a Robotic Assistant’s Behaviours
C Dixon, M Webster, J Saunders, M Fisher, K Dautenhahn
Advances in Autonomous Robotics Systems: 15th Annual Conference, TAROS 2014 …, 2014
322014
Detection of metamorphic and virtualization-based malware using algebraic specification
M Webster, G Malcolm
Journal in computer virology 5, 221-245, 2009
282009
Cyclodextrin diethyldithiocarbamate copper ii inclusion complexes: A promising chemotherapeutic delivery system against chemoresistant triple negative breast cancer cell lines
A Said Suliman, M Khoder, I Tolaymat, M Webster, RG Alany, W Wang, ...
Pharmaceutics 13 (1), 84, 2021
262021
The “Why did you do that?” Button: Answering Why-questions for end users of Robotic Systems
VJ Koeman, LA Dennis, M Webster, M Fisher, K Hindriks
International Workshop on Engineering Multi-Agent Systems, 152-172, 2019
242019
Ethical choice in unforeseen circumstances
L Dennis, M Fisher, M Slavkovik, M Webster
Towards Autonomous Robotic Systems: 14th Annual Conference, TAROS 2013 …, 2014
232014
Towards certification of autonomous unmanned aircraft using formal model checking and simulation
M Webster, N Cameron, M Jump, M Fisher
Infotech@ Aerospace 2012, 2573, 2012
182012
Certification of a civil UAS: A virtual engineering approach
N Cameron, M Webster, M Jump, M Fisher
AIAA Modeling and Simulation Technologies Conference, 6664, 2011
172011
Orbiter BLT flight experiment wind tunnel simulations: Nearfield flowfield imaging and surface thermography
P Danehy, C Ivey, B Bathel, J Inman, S Jones, N Jiang, M Webster, ...
48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and …, 2010
172010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20