Up a level |
Dennis, L ORCID: 0000-0003-1426-1896, Cucco, E and Fisher, M
(2017)
A General Architecture for Flexible Autonomous Systems.
In: IJCAI Workshop on Architectures for Generality and Autonomy, 2017-8-19 - 2017-8-25, Melbourne, Australia.
Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M, Dennis, L ORCID: 0000-0003-1426-1896, Dixon, C ORCID: 0000-0002-4610-9533 and Maple, C
(2019)
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
In: International Conference on Software Engineering and Formal Methods.
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.