Verifiable self-certifying autonomous systems

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Michael Jump, Vincent Page, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)
89 Downloads (Pure)


Dive into the research topics of 'Verifiable self-certifying autonomous systems'. Together they form a unique fingerprint.



Computer Science