Collaborated with:G.Katz D.A.Huang D.Ibeling K.Julian R.Lim P.Shah S.Thakoor H.W.0001 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: Christopher Lazarus
DBLP: Lazarus:Christopher
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.