Derek A. Huang

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Formal Analysis

Top Venues

Publications

Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
The Marabou Framework for Verification and Analysis of Deep Neural Networks. CAV (1) (2019)