Kyle D. Julian

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