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 | 314 | 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 | 243 | 2016 |
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012 | 187 | 2012 |
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013 | 179 | 2013 |
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of Computer Programming 148, 88-106, 2017 | 176 | 2017 |
Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23, 305-359, 2016 | 125 | 2016 |
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 | 118 | 2018 |
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 | 110 | 2000 |
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017 | 101 | 2017 |
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 | 78 | 2021 |
Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008 | 78 | 2008 |
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 | 76 | 2019 |
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015 | 75 | 2015 |
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 | 68 | 2008 |
Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 65 | 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 | 65 | 2003 |
Evaluating alternative gait strategies using evolutionary robotics WI Sellers, LA Dennis, W W‐J, RH Crompton Journal of anatomy 204 (5), 343-351, 2004 | 54 | 2004 |
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ... | 47* | |
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 | 44 | 2021 |
Verifiable self-aware agent-based autonomous systems LA Dennis, M Fisher Proceedings of the IEEE 108 (7), 1011-1026, 2020 | 42 | 2020 |