TY  - RPRT
TI  - Parallelization Techniques for Verifying Neural Networks
AU  - Haoze Wu
AU  - Alex Ozdemir
AU  - Aleksandar Zeljić
AU  - Ahmed Irfan
AU  - Kyle Julian
AU  - Divya Gopinath
AU  - Sadjad Fouladi
AU  - Guy Katz
AU  - Corina Pasareanu
AU  - Clark Barrett
PY  - 2020
UR  - https://arxiv.org/abs/2004.08440
ID  - 2004.08440
ER  -