HOBAT: Batch Verification for Homogeneous Structural Neural Networks
Conference proceeding (January 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (January 2023)
Article in Concurrency and Computation Practice and Experience (October 2020)
Book chapter (October 2020)