Flight Safety Assessment and Management for Takeoff Using Deterministic Moore Machines. - Sweewarman Balachandran; Ella M. Atkins (J. Aerosp. Inf. Syst., 2015)

An Autonomous Override System to Prevent Airborne Loss of Control. - Sweewarman Balachandran; Ella M. Atkins (AAAI, 2016)

Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff. - Sweewarman Balachandran; Necmiye Ozay; Ella M. Atkins (J. Aerosp. Inf. Syst., 2016)