@Inproceedings{EPTCS361.6, author = {Grundt, Dominik and Jurj, Sorin Liviu and Hagemann, Willem and Kr\"oger, Paul and Fr\"anzle, Martin}, year = {2022}, title = {Verification of Sigmoidal Artificial Neural Networks using iSAT}, editor = {Remke, Anne and Tran, Dung Hoang}, booktitle = {{\rm Proceedings The 7th International Workshop on} Symbolic-Numeric Methods for Reasoning about CPS and IoT, {\rm Online, 23rd August 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {361}, publisher = {Open Publishing Association}, pages = {45-60}, doi = {10.4204/EPTCS.361.6}, }