I agree that this site is using cookies. You can find further informations here.
X
Julian, Kyle D.
1153  results:
Search for persons X
?
1

Reluplex: a calculus for reasoning about deep neural networ..:

Katz, Guy ; Barrett, Clark ; Dill, David L...
Formal Methods in System Design.  60 (2021)  1 - p. 87-116 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Global optimization of objective functions represented by R..:

Strong, Christopher A. ; Wu, Haoze ; Zeljić, Aleksandar...
Machine Learning.  112 (2021)  10 - p. 3685-3712 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Generating probabilistic safety guarantees for neural netwo..:

Katz, Sydney M. ; Julian, Kyle D. ; Strong, Christopher A..
Machine Learning.  112 (2021)  8 - p. 2903-2931 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Towards Verification of Neural Networks for Small Unmanned ..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Irfan, Ahmed ; Julian, Kyle D. ; Wu, Haoze... - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020
Link: https://doi.org/10.34727..
 
?
6

Validation of Image-Based Neural Network Controllers throug..:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Julian, Kyle D. ; Lee, Ritchie ; Kochenderfer, Mykel J. - p. 1-7 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Image-based Guidance of Autonomous Aircraft for Wildfire Su..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Julian, Kyle D. ; Kochenderfer, Mykel J. - p. 1-8 , 2020
Link: https://doi.org/10.1109/..
 
?
8

The Marabou Framework for Verification and Analysis of Deep..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Katz, Guy ; Huang, Derek A. ; Ibeling, Duligur... - p. 443-452 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Decomposition methods with deep corrections for reinforceme..:

Bouton, Maxime ; Julian, Kyle D. ; Nakhaei, Alireza..
Autonomous Agents and Multi-Agent Systems.  33 (2019)  3 - p. 330-352 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Guaranteeing Safety for Neural Network-Based Aircraft Colli..:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Julian, Kyle D. ; Kochenderfer, Mykel J. - p. 1-10 , 2019
Link: https://doi.org/10.1109/..
 
?
11

Utility Decomposition with Deep Corrections for Scalable Pl..:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,
Bouton, Maxime ; Julian, Kyle ; Nakhaei, Alireza.. - p. 462-469 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks:

Wu, Haoze ; Isac, Omri ; Zeljić, Aleksandar...
http://arxiv.org/abs/2401.14461.  , 2024
Link: http://arxiv.org/abs/240..
 
?
13

Generating Probabilistic Safety Guarantees for Neural Netwo..:

Katz, Sydney M ; Julian, Kyle D ; Strong, Christopher A.
http://arxiv.org/abs/2103.01203.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

Parallelization Techniques for Verifying Neural Networks:

Wu, Haoze ; Ozdemir, Alex ; Zeljić, Aleksandar...
http://arxiv.org/abs/2004.08440.  , 2020
Link: http://arxiv.org/abs/200..
 
?
15

Parallelization Techniques for Verifying Neural Networks:

Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar...
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
1-15