
Gépi tanulási kutató, repülésbiztonsági tanúsítás
DestinusKutatson matematikai biztonsági garanciákat az autonóm repülés mesterséges intelligenciájához a Destinusnál és a Daedaleannál, összekapcsolva a statisztikai tanuláselméletet az EASA repülésügyi tanúsítási keretrendszereivel.