Star-Based Reachability Analysis of Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson. Star-Based Reachability Analysis of Deep Neural Networks. In Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 11800 of Lecture Notes in Computer Science, pages 670-686, Springer, 2019. [doi]

This author has not been identified. Look up 'Hoang-Dung Tran' in GoogleThis author has not been identified. Look up 'Diego Manzanas Lopez' in GoogleThis author has not been identified. Look up 'Patrick Musau' in GoogleThis author has not been identified. Look up 'Xiaodong Yang' in GoogleThis author has not been identified. Look up 'Luan Viet Nguyen' in GoogleThis author has not been identified. Look up 'Weiming Xiang' in GoogleThis author has not been identified. Look up 'Taylor T. Johnson' in Google

runs on WebDSL