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

26 Citations (Scopus)
96 Downloads (Pure)

Fingerprint

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

INIS

Engineering

Computer Science