Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016 | 262 | 2016 |
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012 | 189 | 2012 |
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013 | 180 | 2013 |
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 | 88 | 2015 |
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 | 82 | 2011 |
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 | 80 | 2020 |
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 | 69 | 2014 |
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 | 56 | 2014 |
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 | 49 | 2021 |
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 | 43 | 2019 |
Detection of metamorphic computer viruses using algebraic specification M Webster, G Malcolm Journal in Computer Virology 2, 149-161, 2006 | 38 | 2006 |
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 | 37 | 2018 |
“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 | 32 | 2014 |
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 | 28 | 2021 |
Detection of metamorphic and virtualization-based malware using algebraic specification M Webster, G Malcolm Journal in computer virology 5, 221-245, 2009 | 28 | 2009 |
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 | 26 | 2019 |
Ethical choice in unforeseen circumstances L Dennis, M Fisher, M Slavkovik, M Webster Towards Autonomous Robotic Systems: 14th Annual Conference, TAROS 2013 …, 2014 | 23 | 2014 |
A review of verification and validation for space autonomous systems RC Cardoso, G Kourtis, LA Dennis, C Dixon, M Farrell, M Fisher, ... Current Robotics Reports 2 (3), 273-283, 2021 | 19 | 2021 |
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 | 18 | 2012 |
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 | 18 | 2011 |