Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
Adresse e-mail validée de manchester.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
1502016
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1492012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1362013
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
1272019
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
1272019
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of Computer Programming 148, 88-106, 2017
1252017
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
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
882016
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
662017
A common semantic basis for BDI languages
LA Dennis, B Farwer, RH Bordini, M Fisher, M Wooldridge
International Workshop on Programming Multi-Agent Systems, 124-139, 2007
662007
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
612003
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
602008
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
582008
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
472015
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
472004
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
412018
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
352019
The PROSPER toolkit
LA Dennis, G Collins, M Norrish, RJ Boulton, K Slind, TF Melham
International Journal on Software Tools for Technology Transfer 4 (2), 189-210, 2003
322003
A flexible framework for verifying agent programs (short paper)
LA Dennis, B Farwer, RH Bordini, M Fisher
Proc. of the 7th Int. Conf. on Autonomous Agents and Multiagent Systems …, 2008
302008
Verifying brahms human-robot teamwork models
R Stocker, L Dennis, C Dixon, M Fisher
European Workshop on Logics in Artificial Intelligence, 385-397, 2012
282012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20