TY  - RPRT
TI  - Verification of Sigmoidal Artificial Neural Networks using iSAT
AU  - Dominik Grundt
AU  - Sorin Liviu Jurj
AU  - Willem Hagemann
AU  - Paul Kröger
AU  - Martin Fränzle
PY  - 2022
DO  - 10.4204/eptcs.361.6
UR  - https://arxiv.org/abs/2207.06755
ID  - 2207.06755
ER  -