Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
Conference proceeding (May 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (May 2023)
Book chapter (November 2021)
Article in Algorithms (January 2021)