Kyle D. Julian

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Semantically Heterogeneous

Collision Avoidance

Decomposition Methods

Top Venues

Auton. Agents Multi Agent Syst.

Publications

Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global optimization of objective functions represented by ReLU networks. Mach. Learn. 112 (10) (2023)
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
Generating probabilistic safety guarantees for neural network controllers. Mach. Learn. 112 (8) (2023)
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
Generating Probabilistic Safety Guarantees for Neural Network Controllers. CoRR (2021)
Kyle D. Julian, Ritchie Lee, Mykel J. Kochenderfer
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing. ITSC (2020)
Kyle D. Julian, Ritchie Lee, Mykel J. Kochenderfer
Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing. CoRR (2020)
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global Optimization of Objective Functions Represented by ReLU Networks. CoRR (2020)
Maxime Bouton, Kyle D. Julian, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer
Decomposition methods with deep corrections for reinforcement learning. Auton. Agents Multi Agent Syst. 33 (3) (2019)
Kyle D. Julian, Mykel J. Kochenderfer
A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers. CoRR (2019)
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin, Mykel J. Kochenderfer
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions. CoRR (2019)
Kyle D. Julian, Mykel J. Kochenderfer
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems. CoRR (2019)
Kyle D. Julian, Mykel J. Kochenderfer, Michael P. Owen
Deep Neural Network Compression for Aircraft Collision Avoidance Systems. CoRR (2018)
Kyle D. Julian, Mykel J. Kochenderfer
Distributed Wildfire Surveillance with Autonomous Aircraft using Deep Reinforcement Learning. CoRR (2018)
Kyle D. Julian, Mykel J. Kochenderfer
Image-based Guidance of Autonomous Aircraft for Wildfire Surveillance and Prediction. CoRR (2018)