Home
•
News
•
Case Studies
•
People
•
Key Prior Publications
•
Publications
FUN2MODEL - Publications
Sort by:
date
,
type
,
title
1
publications:
[Kwi+19]
Marta Kwiatkowska.
Safety Verification for Deep Neural Networks with Provable Guarantees
.
In
LIPIcs, Vol. 140, CONCUR
. Invited paper. To appear.
2019.
[
pdf
] [
bib
]
Sort by:
date
,
type
,
title
