共 50 条
- [44] Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 16 - 36
- [47] A compact system for simultaneous stimulation and recording for closed-loop myoelectric control Journal of NeuroEngineering and Rehabilitation, 18