Reasoning About Safety-Critical Information Flow Between Pilot and Computer. - Seth Ahrenbach (NFM, 2017)

Formal analysis of pilot error with agent safety logic. - Seth Ahrenbach; Alwyn Goodloe (Innov. Syst. Softw. Eng., 2018)

Löb-Safe Logics for Reflective Agents. - Seth Ahrenbach (CoRR, 2024)

DafnyBench: A Benchmark for Formal Software Verification. - Chloe Loughridge; Qinyi Sun; Seth Ahrenbach; Federico Cassano; Chuyue Sun; Ying Sheng 007; Anish Mudide; Md Rakib Hossain Misu; Nada Amin; Max Tegmark (Trans. Mach. Learn. Res., 2025)