Obserwuj
Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
Zweryfikowany adres z manchester.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1742019
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
1742019
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
1692016
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1572012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1452013
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of Computer Programming 148, 88-106, 2017
1432017
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
972016
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
782017
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
622003
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
612008
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
612008
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
582018
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
532015
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
492019
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
492004
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
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
32*
Gwendolen Semantics: 2017
LA Dennis
Technical Report ULCS-17-001, University of Liverpool, Department of …, 2017
312017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20