Mike Jump

Verifiable Self-Certifying Autonomous Systems

Michael Fisher, David Flynn, Valentin Robu, 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

Michael Fisher, Neil Cameron, Matthew P. Webster, 2011, SAFECOMP.

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Michael Fisher, Neil Cameron, Matthew P. Webster, 2014, J. Aerosp. Inf. Syst..