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 (Invited Paper)
.
In
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.
, pages 1:1--1:5.
2019.
[
pdf
] [
bib
]
Sort by:
date
,
type
,
title