70 citations · 193 across the 16 of their papers we have counts for
Showing math.NAShow all
2 papers · 1 filter
math.NA2022★ 23 cited
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Stanley Bak, Hoang-Dung Tran
ACAS Xu is an air-to-air collision avoidance system designed for unmanned aircraft that issues horizontal turn advisories to avoid an intruder aircraft. Due the use of a large look…
math.NA2018★ 25 cited
Numerical Verification of Affine Systems with up to a Billion Dimensions
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Affine systems reachability is the basis of many verification methods. With further computation, methods exist to reason about richer models with inputs, nonlinear differential equ…