Login / Signup
Benjamin Johnson
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Fault Tolerant
Cooperative
Embedded Systems
Formal Methods
Top Venues
CoRR
</>
Publications
</>
Ali Baheri
,
Hao Ren
,
Benjamin Johnson
,
Pouria Razzaghi
,
Peng Wei
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems.
CoRR
(2022)