65 citations · 306 across the 20 of their papers we have counts for
Showing 2022 · math.NAShow all
2 papers · 2 filters
math.NA2022★ 15 cited
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak +1
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is t…
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…