Browse by People


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


Gainer, P, Dixon, CL ORCID: 0000-0002-4610-9533, Dautenhahn, K, Fisher, M, Hustadt, U ORCID: 0000-0002-0455-0267, Saunders, J and Webster, M ORCID: 0000-0002-8817-6881
(2017) CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In: FMICS/AVOCS 2017, 2017-9-18 - 2017-9-20, Torino, Italy.


Webster, M ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and McCann, J
(2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76.


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.

This list was generated on Sun Mar 10 16:56:20 2024 GMT.