Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
Verified email at - Homepage
Cited by
Cited by
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
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19, 5-63, 2012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 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
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
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
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
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
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
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
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
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
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
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
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
Autonomous nuclear waste management
JM Aitken, SM Veres, A Shaukat, Y Gao, E Cucco, LA Dennis, M Fisher, ...
IEEE Intelligent Systems 33 (6), 47-55, 2018
The system can't perform the operation now. Try again later.
Articles 1–20