Star-Based Reachability Analsysis for Deep Neural Networks (bibtex)
by , , , , , ,
Reference:
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Star-Based Reachability Analsysis for Deep Neural Networks", In 23rd International Symposisum 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 Analsysis for Deep Neural Networks",
booktitle="23rd International Symposisum on Formal Methods (FM'19)",
year="2019",
month="October",
publisher="Springer International Publishing",
pdf="research/tran2019fm.pdf",
}
Powered by bibtexbrowser