A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

Ali Baheri, Hao Ren, Benjamin Johnson +2

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel meth…