Julian, Kyle D.

1. A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers
   2019/03/01 by Julian, Kyle D., Kochenderfer, Mykel J. · 2 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
   2019/03/02 by Julian, Kyle D., Sharma, Shivam, Jeannin, Jean-Baptiste +1 · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering