Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump

Browse the full SAFECOMP paper archive.