Seth Ahrenbach

Reasoning About Safety-Critical Information Flow Between Pilot and Computer

Seth Ahrenbach, Seth Ahrenbach, 2017, NFM.

Reasoning About Safety-Critical Information Flow Between Pilot and Computer pdf

Seth Ahrenbach, 2017, NFM.

Formal analysis of pilot error with agent safety logic

Alwyn E. Goodloe, Alwyn Goodloe, Seth Ahrenbach, 2018, Innovations in Systems and Software Engineering.

FORMAL ANALYSIS OF PILOT ERROR USING AGENT SAFETY LOGIC

Seth Ahrenbach, William Harrison, 2016 .