Zobrazeno 1 - 10
of 10
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
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these pro
Autor:
Tiziana Margaria, Bernhard Steffen
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a
Autor:
Paula Herber, Anton Wijs
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selec
Autor:
Alessandro Abate, Andrea Marin
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefu
Autor:
Johannes M. Ruschke
Paul Gerhardt gilt neben Martin Luther als bedeutendster evangelischer Liederdichter. Im Berliner Kirchenstreit, den konfessionellen Auseinandersetzungen zwischen lutherischen und reformierten Theologen bzw. zwischen lutherischen Untertanen und dem r
Autor:
Agnes Winter
Die Frühzeit der fünf ältesten Berliner Gelehrtenschulen steht im Mittelpunkt der vorliegenden Arbeit. Ausgangspunkt sind dabei die von der lutherischen Reformation ausgehenden Bemühungen um eine Neuordnung des höheren Schulwesens und deren Fort
Autor:
Lothar Noack, Jürgen Splett
Der hier vorgelegte Teil Mark Brandenburg 160-1713 der Bio-Bibliographien. Brandenburgische Gelehrte der Frühen Neuzeit setzt die Reihe fort, in der bekannte und weniger bekannte Gelehrte aus der brandenburgischen Kulturgeschichte vorgestellt werden