Login / Signup
Terry Fruehling
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Domain Independent
Model Checker
Black And White
Formal Methods
Top Venues
SysCon
ICCVE
</>
Publications
</>
Arash Khabbaz Saberi
,
Jos Hegge
,
Terry Fruehling
,
Jan Friso Groote
Beyond SOTIF: Black Swans and Formal Methods.
SysCon
(2020)
Terry Fruehling
,
Abel Hailemichael
,
Corey A. Graves
,
Jonathan Riehl
,
Eric Nutt
,
Rob Fischer
,
Arash Khabbaz Saberi
Architectural Safety Perspectives & Considerations Regarding the AI-based AV Domain Controller.
ICCVE
(2019)