Parallelizable Reachability Analysis Algorithms for Feed-forward Neural Networks

Tran, Hoang-Dung; Musau, Patrick; Lopez, Diego Manzanas; Yang, Xiaodong; Nguyen, Luan Viet; Xiang, Weiming; Johnson, Taylor T.

doi:10.1109/FormaliSE.2019.00012

by Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Reference:

Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Parallelizable Reachability Analysis Algorithms for Feed-forward Neural Networks", In Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (FormaliSE'19), IEEE Press, Piscataway, NJ, USA, pp. 31–40, 2019, May.

Bibtex Entry:

@inproceedings{tran2019formalise,
 author = {Tran, Hoang-Dung and Musau, Patrick and Lopez, Diego Manzanas and Yang, Xiaodong and Nguyen, Luan Viet and Xiang, Weiming and Taylor T. Johnson},
 title = {Parallelizable Reachability Analysis Algorithms for Feed-forward Neural Networks},
 booktitle = {Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (FormaliSE'19)},
 series = {FormaliSE '19},
 year = {2019},
 location = {Montreal, Quebec, Canada},
 pages = {31--40},
 numpages = {10},
 doi = {10.1109/FormaliSE.2019.00012},
 acmid = {3338820},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 month="May",
 pdf = {research/tran2019formalise.pdf},
}