Daedalean develops safety-critical AI systems for aviation, aiming to enable certified autonomous flight.