Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis. On Neural Network Equivalence Checking Using SMT Solvers. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 237-257, Springer, 2022. [doi]
@inproceedings{EleftheriadisKK22,
title = {On Neural Network Equivalence Checking Using SMT Solvers},
author = {Charis Eleftheriadis and Nikolaos Kekatos and Panagiotis Katsaros and Stavros Tripakis},
year = {2022},
doi = {10.1007/978-3-031-15839-1_14},
url = {https://doi.org/10.1007/978-3-031-15839-1_14},
researchr = {https://researchr.org/publication/EleftheriadisKK22},
cites = {0},
citedby = {0},
pages = {237-257},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings},
editor = {Sergiy Bogomolov and David Parker 0001},
volume = {13465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15839-1},
}