Up a level |
Dennis, LA ORCID: 0000-0003-1426-1896, Aitken, J, Collenette, J, Cucco, E, Kamali, M ORCID: 0000-0002-2789-6914, McAree, O, Shaukat, A, Atkinson, KM ORCID: 0000-0002-5683-4106, Gao, Y, Veres, S et al (show 1 more authors)
(2016)
Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice.
In: Towards Autonomous Robotic Systems conference (TAROS 2016), 2016-6-28 - 2016-6-30, Sheffield, UK.
Alves, Gleifer, Dennis, LA ORCID: 0000-0003-1426-1896 and Fisher, michael
(2018)
Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent.
In: Workshop on Verification and Validation of Autonomous Systems, 2018-7-18 - 2018-7-19, Oxford UK.
Dennis, LA ORCID: 0000-0003-1426-1896
(2017)
Gwendolen Semantics: 2017.
[Report]
Dennis, LA ORCID: 0000-0003-1426-1896, Slavkovik, M and Fisher, M
(2017)
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.
In: Coordination, Organizations, Institutions and Norms in Agent Systems XII, 2016-8-30 - 2016-8-30, The Hague, The Netherlands.
Dennis, LA ORCID: 0000-0003-1426-1896, Collenette, J and Kotsialou, G
(2016)
Lego Rovers (Education Set).
[Software]
Dennis, LA ORCID: 0000-0003-1426-1896, Collenette, J and Kotsialou, G
(2016)
Lego Rovers (Home Set).
[Software]
Dennis, LA ORCID: 0000-0003-1426-1896
(2018)
The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder.
The Journal of Open Source Software.
Dennis, LA ORCID: 0000-0003-1426-1896 and Slavkovik, Marija
(2018)
Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics.
IEEE Intelligent Informatics Bulletin.
Bentzen, Martin Mose, Lindner, Felix, Dennis, LA ORCID: 0000-0003-1426-1896 and Fisher, Michael
(2018)
Moral Permissability of Actions in Smart Home Systems.
In: Workshop on Robots, Morality, and Trust through the Verification Lens, 2018-7-19 - 2018-7-19, Oxford, UK.
Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dennis, LA ORCID: 0000-0003-1426-1896, Ancona, Davide, Fisher, Michael and Mascardi, Viviana
(2018)
Recognising Assumption Violations in Autonomous Systems Verification.
In: Autonomous Agents and Multi-agent Systems, Stockholm, Sweden.
Dennis, LA ORCID: 0000-0003-1426-1896
(2018)
Reconfigurable Autonomy: Architecture and Configuration Language.
[Report]
Cucco, E, Fisher, MD, Dennis, LA ORCID: 0000-0003-1426-1896, Dixon, CL ORCID: 0000-0002-4610-9533, Webster, M ORCID: 0000-0002-8817-6881, Broecker, B, Williams, R, Collenette, J, Atkinson, K ORCID: 0000-0002-5683-4106 and Tuyls, K
(2017)
Towards Robots for Social Engagement.
In: Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces.
Koeman, Vincent, Dennis, LA ORCID: 0000-0003-1426-1896, Webster, Matthew ORCID: 0000-0002-8817-6881, Fisher, Michael and Hindriks, Koen
(2020)
The "Why did you do that?" Button: Answering Why-questions for end users of Robotic Systems.
In: 7th International Conference on Engineering Multi-Agent Systems, 2019-5-13 - 2019-5-14, Montreal, Canada.