Collaborated with:G.Katz D.A.Huang D.Ibeling K.Julian C.Lazarus R.Lim P.Shah S.Thakoor A.Zeljic D.L.Dill M.J.Kochenderfer C.W.Barrett
Talks about:framework (1) network (1) marabou (1) analysi (1) neural (1) verif (1) deep (1)
Person: Haoze Wu 0001
DBLP: 0001:Haoze_Wu
Contributed to:
2019Wrote 1 papers:
- CAV-2019-KatzHIJLLSTWZDK #analysis #framework #network #verification
- The Marabou Framework for Verification and Analysis of Deep Neural Networks (GK, DAH, DI, KJ, CL, RL, PS, ST, HW0, AZ, DLD, MJK, CWB), pp. 443–452.