Seguir
Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
E-mail confirmado em manchester.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
3072019
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
2392016
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19, 5-63, 2012
1902012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1802013
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of Computer Programming 148, 88-106, 2017
1772017
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
1252016
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
1132018
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
1112000
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
1052017
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
782019
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
782008
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
762021
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
752015
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
692008
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
652008
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
652003
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
552004
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
442021
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
412018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20