186 citations · 440 across the 14 of their papers we have counts for
3 papers · 1 filter
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
Kyle D. Julian, Mykel J. Kochenderfer
The decision logic for the ACAS X family of aircraft collision avoidance systems is represented as a large numeric table. Due to storage constraints of certified avionics hardware,…
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin +1
The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting…
A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers
Kyle D. Julian, Mykel J. Kochenderfer
Deep neural networks can be trained to be efficient and effective controllers for dynamical systems; however, the mechanics of deep neural networks are complex and difficult to gua…