Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
Geverifieerd e-mailadres voor manchester.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19 (1), 5-63, 2012
1292012
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1232013
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
1192016
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
1092000
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of Computer Programming 148, 88-106, 2017
1012017
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
722019
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
722019
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
712016
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
642007
Automated verification of multi-agent programs
RH Bordini, LA Dennis, B Farwer, M Fisher
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
592008
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
582003
Towards moral autonomous systems
V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ...
arXiv preprint arXiv:1703.04741, 2017
532017
Gwendolen: A BDI language for verifiable agents
LA Dennis, B Farwer
Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008
502008
Evaluating alternative gait strategies using evolutionary robotics
WI Sellers, LA Dennis, W W‐J, RH Crompton
Journal of anatomy 204 (5), 343-351, 2004
452004
Towards Verifiably Ethical Robot Behaviour.
LA Dennis, M Fisher, AFT Winfield
AAAI Workshop: AI and Ethics, 2015
432015
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
292008
Verifying brahms human-robot teamwork models
R Stocker, L Dennis, C Dixon, M Fisher
European Workshop on Logics in Artificial Intelligence, 385-397, 2012
262012
Satellite control using rational agent programming
NK Lincoln, SM Veres, L Dennis, M Fisher, A Lisitsa
26*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
262010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20