Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. - Matthew P. Webster; Michael Fisher 001; Neil Cameron; Mike Jump (SAFECOMP, 2011)

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation. - Matt Webster; Neil Cameron; Michael Jump; Michael Fisher 001 (Infotech@Aerospace, 2012)

Equivalence of BRISK Descriptors for the Registration of Variable Bit-Depth Aerial Imagery. - Elias J. Griffith; Yuan Chi; Michael Jump; Jason F. Ralph (SMC, 2013)

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. - Matthew P. Webster; Neil Cameron; Michael Fisher 001; Mike Jump (J. Aerosp. Inf. Syst., 2014)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. - Vincent Pagé; Christopher Dadswell; Matt Webster; Mike Jump; Michael Fisher 001 (Robotics, 2021)

Rapid Method for Computing Reachable Landing Distances in Helicopter Autorotative Descent. - Brian F. Eberle; Jonathan D. Rogers; Mushfiqul Alam; Michael Jump (J. Aerosp. Inf. Syst., 2022)