共 50 条
- [1] Synthesizing Barrier Certificates Using Neural Networks PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
- [2] Hunting Malicious TLS Certificates with Deep Neural Networks AISEC'18: PROCEEDINGS OF THE 11TH ACM WORKSHOP ON ARTIFICIAL INTELLIGENCE AND SECURITY, 2018, : 64 - 73
- [3] Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 168, 2022, 168
- [6] Neural Closure Certificates THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 19, 2024, : 21446 - 21453
- [7] Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
- [10] Shared Certificates for Neural Network Verification COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 127 - 148