Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 13.


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.

This list was generated on Mon Feb 5 02:27:34 2024 GMT.