Distributionally Robust Statistical Verification with Imprecise Neural Networks
| Title: | Distributionally Robust Statistical Verification with Imprecise Neural Networks |
|---|---|
| Authors: | Dutta, Souradeep; Caprio, Michele; Lin, Vivian; Cleaveland, Matthew; Jang, Kuk Jin; Ruchkin, Ivan; Sokolsky, Oleg; Lee, Insup |
| Source: | Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control. :1-12 |
| Availability: | http://dl.acm.org/doi/10.1145/3716863.3718040 |
| Database: | ACM Full-Text Collection |