TY  - RPRT
TI  - Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
AU  - Stanley Bak
AU  - Hoang-Dung Tran
PY  - 2022
DO  - 10.1007/978-3-031-06773-0_15
UR  - https://arxiv.org/abs/2201.06626
ID  - 2201.06626
ER  -