Collaborated with:
D.Gopinath C.S.Pasareanu A.Taly
Talks about:
properti (1) network (1) neural (1) infer (1) deep (1)
Person: Hayes Converse
DBLP: Converse:Hayes
Contributed to:
Wrote 1 papers:
- ASE-2019-GopinathCPT #network
- Property Inference for Deep Neural Networks (DG, HC, CSP, AT), pp. 797–809.