Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Samuel Teuber"'
As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the formal verification problem of NN equivalence which aims to prove that t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fd151edf23774306450819c7baa81a8
http://arxiv.org/abs/2112.06582
http://arxiv.org/abs/2112.06582
Autor:
Alexander Weigl, Samuel Teuber
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783030851712
QEST
QEST
Critical software should be verified. But how to handle the situation when a proof for the functional correctness could not be established? In this case, an assessment of the software is required to estimate the risk of using the software. In this pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::558937a978fa9818fa7fc7f18abb7d37
https://doi.org/10.1007/978-3-030-85172-9_4
https://doi.org/10.1007/978-3-030-85172-9_4