Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.

H. Wu, A. Ozdemir, A. Zeljic, A. Irfan, K. Julian, D. Gopinath, S. Fouladighaleh, G. Katz, C. Pasareanu, and C. Barrett. CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kyle Simek

J Kyle Ward

Kyle Krafka

Kyle Montague

Kyle Jamieson

Other publications of authors with the same name

Toward Scalable Verification for Safety-Critical Deep Networks.L. Kuper, G. Katz, J. Gottschlich, K. Julian, C. Barrett, and M. Kochenderfer. CoRR, (2018)Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer. CAV (1), volume 10426 of Lecture Notes in Computer Science, page 97-117. Springer, (2017)Parallelization Techniques for Verifying Neural Networks.H. Wu, A. Ozdemir, A. Zeljic, K. Julian, A. Irfan, D. Gopinath, S. Fouladi, G. Katz, C. Pasareanu, and C. Barrett. FMCAD, page 128-137. IEEE, (2020)Parallelization Techniques for Verifying Neural Networks.H. Wu, A. Ozdemir, A. Zeljic, A. Irfan, K. Julian, D. Gopinath, S. Fouladighaleh, G. Katz, C. Pasareanu, and C. Barrett. CoRR, (2020)The Marabou Framework for Verification and Analysis of Deep Neural Networks.G. Katz, D. Huang, D. Ibeling, K. Julian, C. Lazarus, R. Lim, P. Shah, S. Thakoor, H. Wu, A. Zeljic and 3 other author(s). CAV (1), volume 11561 of Lecture Notes in Computer Science, page 443-452. Springer, (2019)Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty.M. Bouton, K. Julian, A. Nakhaei, K. Fujimura, and M. Kochenderfer. AAMAS, page 462-469. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Towards Proving the Adversarial Robustness of Deep Neural Networks.G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer. FVAV@iFM, volume 257 of EPTCS, page 19-26. (2017)Reluplex: a calculus for reasoning about deep neural networks.G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer. Formal Methods Syst. Des., 60 (1): 87-116 (February 2022)Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions.K. Julian, S. Sharma, J. Jeannin, and M. Kochenderfer. CoRR, (2019)Deep Neural Network Compression for Aircraft Collision Avoidance Systems.K. Julian, M. Kochenderfer, and M. Owen. CoRR, (2018)

BibSonomy

Disambiguation of "Julian, Kyle"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.

Please choose a person to relate this publication to

Kyle Simek

J Kyle Ward

Kyle Krafka

Kyle Montague

Kyle Jamieson

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Julian, Kyle"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Parallelization Techniques for Verifying Neural Networks.

Please choose a person to relate this publication to

Kyle Simek

J Kyle Ward

Kyle Krafka

Kyle Montague

Kyle Jamieson

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.