Parallelizable reachability analysis algorithms for feed-forward neural networks (bibtex)

by HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson

Reference:

HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson, "Parallelizable reachability analysis algorithms for feed-forward neural networks", In 7th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormalISE'19), IEEE/ACM, pp. 31–40, 2019.

Bibtex Entry:

@inproceedings{tran2019formalise,
  title = {Parallelizable reachability analysis algorithms for feed-forward neural networks},
  author = {HD Tran and P Musau and DM Lopez and X Yang and LV Nguyen and W Xiang and Taylor T. Johnson},
  year = {2019},
  month = may,
  booktitle = {7th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormalISE'19)},
  pages = {31--40},
  publisher = {IEEE/ACM},
  doi = {10.1109/FormaliSE.2019.00012},
  publabel = {W23},
  pubtype = {W},
  dblp = {conf/icse/TranMLYNXJ19},
  s2id = {174803577},
  pdf = "research/tran2019formalise.pdf",
}