共 50 条
- [12] Verifying Binary Neural Networks on Continuous Input Space using Star Reachability 2023 IEEE/ACM 11TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2023, : 7 - 17
- [13] Poincare mapping of continuous recurrent neural networks excited by temporal external input INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2000, 10 (07): : 1677 - 1695
- [15] Input-output-to-state Stabilization for Continuous-time Neural Networks INFORMATION, COMMUNICATION AND EDUCATION APPLICATION, VOL 11, 2013, 11 : 127 - 130
- [16] Applying Multiple Neural Networks on Large Scale Data INFORMATION AND ELECTRONICS ENGINEERING, 2011, 6 : 189 - 193
- [17] Data-Driven Certification of Neural Networks With Random Input Noise IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2023, 10 (01): : 249 - 260
- [20] Refining Constructive Neural Networks Using Functionally Expanded Input Data 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2015,