The Marabou Framework for Verification and Analysis of Deep Neural Networks.

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

Published in: CAV (1) (2019)

Keyphrases