Login / Signup

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.

Stanley BakHoang-Dung Tran
Published in: NFM (2022)
Keyphrases