On Neural Network Equivalence Checking Using SMT Solvers
In: Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, Jg. 13465 (2022), S. 237-257
Online
E-Book
Zugriff:
Titel: |
On Neural Network Equivalence Checking Using SMT Solvers
|
---|---|
Autor/in / Beteiligte Person: | Eleftheriadis, Charis ; Kekatos, Nikolaos ; Katsaros, Panagiotis ; Tripakis, Stavros ; Goos, Gerhard, Founding Editor ; Hartmanis, Juris, Founding Editor ; Bertino, Elisa [Ed.]ial Board Member ; Gao, Wen [Ed.]ial Board Member ; Steffen, Bernhard [Ed.]ial Board Member ; Yung, Moti [Ed.]ial Board Member ; Bogomolov, Sergiy [Ed.] ; Parker, David [Ed.] |
Link: | |
Zeitschrift: | Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, Jg. 13465 (2022), S. 237-257 |
Veröffentlichung: | 2022 |
Medientyp: | E-Book |
ISBN: | 978-3-031-15838-4 (print) ; 978-3-031-15839-1 (print) |
DOI: | 10.1007/978-3-031-15839-1_14 |
Sonstiges: |
|