Applied Mathematics and Computation

By R. Aktaş. 2015

43 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Wenjie Ruan
2. Marta Z. Kwiatkowska
3. Xiaowei Huang
4. Alexey Ignatiev
5. Eric Wong
6. Guy Katz
7. Matthew Wicker
8. Youcheng Sun

Citations in the corpus

• Reachability Analysis of Deep Neural Networks with Provable Guarantees (2018, methodology): “The approach is inspired by recent advances made in the area of global optimisation [Gergel et al., 2016; Grishagin et al., 2018].”