Parallelizable Reachability Analysis Algorithms for Feed-forward Neural Networks (bibtex)
by , , , , , ,
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",
}
Powered by bibtexbrowser