Browse by People

Collapse authors list.
Fisher, M, Collins, E ORCID: 0000-0001-9396-536X, Dennis, L ORCID: 0000-0003-1426-1896, Luckcuck, M ORCID: 0000-0002-6444-9312, Webster, M ORCID: 0000-0002-8817-6881, Jump, M ORCID: 0000-0002-1028-2334, Page, V, Patchett, C, Dinmohammadi, F, Flynn, D et al (show 2 more authors) , Robu, V and Zhao, X (2018) Verifiable Self-Certifying Autonomous Systems. .