Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Ladner, Matthias Althoff. Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]

This author has not been identified. Look up 'Tobias Ladner' in GoogleThis author has not been identified. Look up 'Matthias Althoff' in Google

runs on WebDSL