What is it about?
Currently a method does not exist for a safety of flight certification of autonomous functionality in unmanned aircraft. We show how you can use formal methods to generate certification evidence for a machine to complete a judgement task currently reserved for qualified pilots.
Featured Image
Read the Original
This page is a summary of: Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making, Journal of Aerospace Information Systems, January 2021, American Institute of Aeronautics and Astronautics (AIAA),
DOI: 10.2514/1.i010848.
You can read the full text:
Contributors
Be the first to contribute to this page
