-
Autonomous eVTOL Neural-Network Flight Control Verification Specialist #1!kW6x
Pacific Northwest Avionics Labs @8$pM3q
Formulate formal verification proofs for neural-network adaptive flight control algorithms, analyze worst-case gain margins, and conduct rea...