TY  - RPRT
TI  - DeepAbstract: Neural Network Abstraction for Accelerating Verification
AU  - Pranav Ashok
AU  - Vahid Hashemi
AU  - Jan Křetínský
AU  - Stefanie Mohr
PY  - 2020
UR  - https://arxiv.org/abs/2006.13735
ID  - 2006.13735
ER  -