Star-Based Reachability Analysis for Deep Neural Networks

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

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, "Star-Based Reachability Analysis for Deep Neural Networks", In 23rd International Symposium on Formal Methods (FM'19) (, ed.), Springer International Publishing, 2019, October.

Bibtex Entry:

@InProceedings{tran2019fm,
author="Tran, Hoang-Dung
and Musau, Patrick
and Diego Manzanas Lopez 
and Xiaodong Yang 
and Nguyen, Luan Viet
and Xiang, Weiming
and Taylor T. Johnson",
editor="",
title="Star-Based Reachability Analysis for Deep Neural Networks",
booktitle="23rd International Symposium on Formal Methods (FM'19)",
year="2019",
month="October",
publisher="Springer International Publishing",
pdf="research/tran2019fm.pdf",
}