| Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 100, 2019 | 431 | 2019 |
| Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016 | 320 | 2016 |
| Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012 | 210 | 2012 |
| Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of Computer Programming 148, 88-106, 2017 | 195 | 2017 |
| Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013 | 190 | 2013 |
| Ethics by Design: necessity or curse? V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, A Dennis Louise, ... 2018 AAAI/ACM Conference on AI, Ethics, and Society (AIES'18), 60-66, 2018 | 173 | 2018 |
| Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23 (3), 305-359, 2016 | 143 | 2016 |
| IEEE P7001: A Proposed Standard on Transparency AFT Winfield, S Booth, LA Dennis, T Egawa, H Hastie, N Jacobs, ... Frontiers in Robotics and AI, 225, 2021 | 141 | 2021 |
| Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017 | 113 | 2017 |
| The PROSPER toolkit LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ... International Conference on Tools and Algorithms for the Construction and …, 2000 | 109 | 2000 |
| On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots P Bremner, LA Dennis, M Fisher, AF Winfield Proceedings of the IEEE 107 (3), 541-561, 2019 | 102 | 2019 |
| Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008 | 97 | 2008 |
| Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015 | 84 | 2015 |
| Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 77 | 2008 |
| 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 | 75 | 2021 |
| A common semantic basis for BDI languages LA Dennis, B Farwer, RH Bordini, M Fisher, M Wooldridge Programming Multi-Agent Systems: 5th International Workshop, ProMAS 2007 …, 2008 | 73 | 2008 |
| Predicting the metabolic energy costs of bipedalism using evolutionary robotics WI Sellers, LA Dennis, RH Crompton Journal of Experimental Biology 206 (7), 1127-1136, 2003 | 70 | 2003 |
| Engineering Multi-Agent Systems: State of Affairs and the Road Ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ... | 64* | |
| Verifiable self-aware agent-based autonomous systems LA Dennis, M Fisher Proceedings of the IEEE 108 (7), 1011-1026, 2020 | 59 | 2020 |
| Evaluating alternative gait strategies using evolutionary robotics WI Sellers, LA Dennis, W W‐J, RH Crompton Journal of anatomy 204 (5), 343-351, 2004 | 58 | 2004 |
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
