Collaborated with:G.Katz C.W.Barrett D.L.Dill K.Julian D.A.Huang D.Ibeling C.Lazarus R.Lim P.Shah S.Thakoor H.W.0001 A.Zeljic
Talks about:network (2) neural (2) deep (2) framework (1) reluplex (1) marabou (1) analysi (1) verifi (1) solver (1) effici (1)
Person: Mykel J. Kochenderfer
DBLP: Kochenderfer:Mykel_J=
Contributed to:
20172019Wrote 2 papers:
- CAV-2017-KatzBDJK #named #network #performance #smt #verification
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (GK, CWB, DLD, KJ, MJK), pp. 97–117.
- 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.