Kyle D. Julian

发表

Distributed Wildfire Surveillance with Autonomous Aircraft using Deep Reinforcement Learning pdf

Mykel J. Kochenderfer, Kyle D. Julian, 2018, Journal of Guidance, Control, and Dynamics.

A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers pdf

Mykel J. Kochenderfer, Kyle D. Julian, 2019, ArXiv.

Image-based Guidance of Autonomous Aircraft for Wildfire Surveillance and Prediction

Mykel J. Kochenderfer, Kyle D. Julian, 2018, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

Global Optimization of Objective Functions Represented by ReLU Networks pdf

Mykel J. Kochenderfer, Guy Katz, Clark Barrett, 2020, Machine Learning.

Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions pdf

Jean-Baptiste Jeannin, Mykel J. Kochenderfer, Shivam Sharma, 2019, ArXiv.

Decomposition methods with deep corrections for reinforcement learning

Mykel J. Kochenderfer, Kikuo Fujimura, Alireza Nakhaei, 2018, Autonomous Agents and Multi-Agent Systems.

Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems

Mykel J. Kochenderfer, Kyle D. Julian, 2019, 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).

Policy compression for aircraft collision avoidance systems

Mykel J. Kochenderfer, Michael P. Owen, Kyle D. Julian, 2016, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

Neural Network Guidance for UAVs

Mykel J. Kochenderfer, Kyle D. Julian, 2017 .

Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance

Mykel J. Kochenderfer, Clark Barrett, Haoze Wu, 2020, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing

Mykel J. Kochenderfer, Kyle D. Julian, Ritchie Lee, 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).

Deep Neural Network Compression for Aircraft Collision Avoidance Systems pdf

Mykel J. Kochenderfer, Michael P. Owen, Kyle D. Julian, 2018, Journal of Guidance, Control, and Dynamics.

Autonomous Distributed Wildfire Surveillance using Deep Reinforcement Learning

Mykel J. Kochenderfer, Kyle D. Julian, 2018 .

Reachability Analysis for Neural Network Aircraft Collision Avoidance Systems

Mykel J. Kochenderfer, Kyle D. Julian, 2021 .

Global Optimization of Objective Functions Represented by ReLU Networks pdf

Mykel J. Kochenderfer, Guy Katz, Clark Barrett, 2021, Machine Learning.

Generating Probabilistic Safety Guarantees for Neural Network Controllers pdf

Mykel J. Kochenderfer, Kyle D. Julian, Christopher A. Strong, 2021, Machine Learning.

Parallelization Techniques for Verifying Neural Networks

Kyle D. Julian, C. Barrett, Sadjad Fouladi, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks pdf

Mykel J. Kochenderfer, David L. Dill, Guy Katz, 2017, CAV.

Towards Proving the Adversarial Robustness of Deep Neural Networks

Mykel J. Kochenderfer, David L. Dill, Guy Katz, 2017, FVAV@iFM.

Parallelization Techniques for Verifying Neural Networks

Corina S. Pasareanu, Guy Katz, Haoze Wu, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

The Marabou Framework for Verification and Analysis of Deep Neural Networks

Mykel J. Kochenderfer, David L. Dill, Guy Katz, 2019, CAV.

Reluplex: a calculus for reasoning about deep neural networks

Mykel J. Kochenderfer, David L. Dill, Guy Katz, 2021, Formal Methods in System Design.

Toward Scalable Verification for Safety-Critical Deep Networks pdf

Mykel J. Kochenderfer, Guy Katz, Justin Emile Gottschlich, 2018, ArXiv.

Generating probabilistic safety guarantees for neural network controllers

Mykel J. Kochenderfer, Kyle D. Julian, Christopher A. Strong, 2021, Machine Learning.

Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems

Mykel J. Kochenderfer, Kyle D. Julian, 2019, 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).