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

9 May 2022

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

3 / 3 papers shown

Title
Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization Zahra Shahrooei Mykel J. Kochenderfer Ali Baheri 22 6 0 28 Dec 2022
A Survey on Reinforcement Learning in Aviation Applications Pouria Razzaghi Amin Tabrizian Wei Guo Shulu Chen Abenezer Taye Ellis E. Thompson Alexis Bregeon Ali Baheri Peng Wei OffRL 23 52 0 03 Nov 2022
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 285 9,138 0 06 Jun 2015