Folgen
Matt Webster
Matt Webster
Postdoc in Computer Science, University of Liverpool
Bestätigte E-Mail-Adresse bei liverpool.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20