Louise Dennis
TitleCited byYear
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
1082000
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1052012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
902013
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
642016
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
572007
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
542008
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
532003
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of Computer Programming 148, 88-106, 2017
522017
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
522016
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
422008
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
412004
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
382015
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
302003
Using a generalisation critic to find bisimulations for coinductive proofs
L Dennis, A Bundy, I Green
International Conference on Automated Deduction, 276-290, 1997
251997
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
242017
Autonomous Asteroid Exploration by Rational Agents
N Lincoln, S Veres, L Dennis, M Fisher, A Lisitsa
Computational Intelligence Magazine, IEEE 8 (4), 25-38, 2013
242013
A flexible framework for verifying agent programs
LA Dennis, B Farwer, RH Bordini, M Fisher
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
242008
Satellite control using rational agent programming
NK Lincoln, SM Veres, L Dennis, M Fisher, A Lisitsa
22*2010
Satellite control using rational agent programming
L Dennis, M Fisher, A Lisitsa, N Lincoln, S Veres
IEEE Intelligent Systems 25 (3), 92-97, 2010
222010
Reconfigurable Autonomy
LA Dennis, M Fisher, JM Aitken, SM Veres, Y Gao, A Shaukat, ...
KI-Künstliche Intelligenz 28 (3), 199-207, 2014
202014
The system can't perform the operation now. Try again later.
Articles 1–20