( en | de | ru )

 

Disambiguierung von "Büning, Marko Kleine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Geometric Path Enumeration for Equivalence Verification of Neural Networks.

, , , und . ICTAI, Seite 200-208. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Georg Kleine Büning

Hans Kleine Büning

Martin Kleine Büning

Hildegard Büning

Carsten Büning

 

Weitere Publikationen von Autoren mit dem selben Namen

Using DimSpec for Bounded and Unbounded Software Model Checking., , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2019)Automatic Modularization of Large Programs for Bounded Model Checking., und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 186-202. Springer, (2019)Geometric Path Enumeration for Equivalence Verification of Neural Networks., , , und . ICTAI, Seite 200-208. IEEE, (2021)Refined Modularization for Bounded Model Checking Through Precondition Generation., , und . ICFEM, Volume 13478 von Lecture Notes in Computer Science, Seite 209-226. Springer, (2022)QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking., , und . VSTTE, Volume 12549 von Lecture Notes in Computer Science, Seite 21-32. Springer, (2020)Formal Verification of Industrial Software and Neural Networks.. Karlsruhe Institute of Technology, Germany, (2022)Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 868-884. Springer, (2020)