Browsing All of EconStor by Author Rössig, Ansgar


Showing results 1 to 1 of 1
Year of PublicationTitleAuthor(s)
2020Advances in verification of ReLU neural networksRössig, Ansgar; Petkovic, Milena