%0 Journal Article %1 journals/corr/abs-2201-06626 %A Bak, Stanley %A Tran, Hoang-Dung %D 2022 %J CoRR %K dblp %T Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability. %U http://dblp.uni-trier.de/db/journals/corr/corr2201.html#abs-2201-06626 %V abs/2201.06626

@article{journals/corr/abs-2201-06626, added-at = {2022-02-01T00:00:00.000+0100}, author = {Bak, Stanley and Tran, Hoang-Dung}, biburl = {https://www.bibsonomy.org/bibtex/29e15d8b2b37347561310f3b2172d1a2c/dblp}, ee = {https://arxiv.org/abs/2201.06626}, interhash = {a1fd6ebf62a2c10c90eec3b3c119022d}, intrahash = {9e15d8b2b37347561310f3b2172d1a2c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:43:10.000+0200}, title = {Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2201.html#abs-2201-06626}, volume = {abs/2201.06626}, year = 2022 }