Seth Ahrenbach

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 4

Top Topics

Adaptive Systems

Regulatory Requirements

Formal Analysis

Top Venues

Innov. Syst. Softw. Eng.

Publications

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
Seth Ahrenbach
Reasoning About Safety-Critical Information Flow Between Pilot and Computer. CoRR (2018)
Seth Ahrenbach, Alwyn Goodloe
Formal analysis of pilot error with agent safety logic. Innov. Syst. Softw. Eng. 14 (1) (2018)
Seth Ahrenbach
Reasoning About Safety-Critical Information Flow Between Pilot and Computer. NFM (2017)