Kyle David Julian
Title
Cited by
Cited by
Year
Reluplex: An efficient SMT solver for verifying deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
International Conference on Computer Aided Verification, 97-117, 2017
7772017
Policy compression for aircraft collision avoidance systems
KD Julian, J Lopez, JS Brush, MP Owen, MJ Kochenderfer
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016
1162016
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
International Conference on Computer Aided Verification, 443-452, 2019
842019
Towards proving the adversarial robustness of deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
arXiv preprint arXiv:1709.02802, 2017
832017
Deep neural network compression for aircraft collision avoidance systems
KD Julian, MJ Kochenderfer, MP Owen
Journal of Guidance, Control, and Dynamics 42 (3), 598-608, 2019
512019
Distributed wildfire surveillance with autonomous aircraft using deep reinforcement learning
KD Julian, MJ Kochenderfer
Journal of Guidance, Control, and Dynamics 42 (8), 1768-1778, 2019
282019
Neural network guidance for UAVs
KD Julian, MJ Kochenderfer
AIAA Guidance, Navigation, and Control Conference, 1743, 2017
282017
Toward scalable verification for safety-critical deep networks
L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer
arXiv preprint arXiv:1801.05950, 2018
172018
Verifying aircraft collision avoidance neural networks through linear approximations of safe regions
KD Julian, S Sharma, JB Jeannin, MJ Kochenderfer
arXiv preprint arXiv:1903.00762, 2019
102019
A reachability method for verifying dynamical systems with deep neural network controllers
KD Julian, MJ Kochenderfer
arXiv preprint arXiv:1903.00520, 2019
82019
Guaranteeing safety for neural network-based aircraft collision avoidance systems
KD Julian, MJ Kochenderfer
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
82019
Autonomous distributed wildfire surveillance using deep reinforcement learning
KD Julian, MJ Kochenderfer
2018 AIAA Guidance, Navigation, and Control Conference, 1589, 2018
82018
Application of machine learning to link prediction
K Julian, W Lu
72016
Parallelization techniques for verifying neural networks
H Wu, A Ozdemir, A Zeljić, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ...
2020 Formal Methods in Computer Aided Design (FMCAD), 128-137, 2020
52020
Validation of image-based neural network controllers through adaptive stress testing
KD Julian, R Lee, MJ Kochenderfer
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
52020
Visual depth mapping from monocular images using recurrent convolutional neural networks
JM Mern, KD Julian, RE Tompa, MJ Kochenderfer
AIAA Scitech 2019 Forum, 1189, 2019
52019
Utility decomposition with deep corrections for scalable planning under uncertainty
M Bouton, K Julian, A Nakhaei, K Fujimura, MJ Kochenderfer
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
52018
Decomposition methods with deep corrections for reinforcement learning
M Bouton, KD Julian, A Nakhaei, K Fujimura, MJ Kochenderfer
Autonomous Agents and Multi-Agent Systems 33 (3), 330-352, 2019
42019
Uav depth perception from visual images using a deep convolutional neural network
K Julian, J Mern, R Tompa
Tech. Rep., 2017
42017
Towards verification of neural networks for small unmanned aircraft collision avoidance
A Irfan, KD Julian, H Wu, C Barrett, MJ Kochenderfer, B Meng, J Lopez
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-10, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20