
Mananaliksik sa Machine Learning, Sertipikasyon sa Kaligtasan ng Abyasyon
DestinusMagsaliksik ng mga matematikal na garantiya sa kaligtasan para sa AI ng awtonomong paglipad sa Destinus at Daedalean. Pag-ugnayin ang teorya ng estadistikal na pagkatuto at mga balangkas ng sertipikasyon sa abyasyon ng EASA.