Browsing All of EconStor by Author Rössig, Ansgar
Showing results 1 to 1 of 1
Year of Publication | Title | Author(s) |
---|---|---|
2020 | Advances in verification of ReLU neural networks | Rössig, Ansgar; Petkovic, Milena |
Year of Publication | Title | Author(s) |
---|---|---|
2020 | Advances in verification of ReLU neural networks | Rössig, Ansgar; Petkovic, Milena |