已发表成果:
WOK 论文 32 篇;中文核心 1 篇;
Sparsity in transformers: A systematic literature review
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Dfp-Unet: A Biomedical Image Segmentation Method Based on Deformable Convolution and Feature Pyramid
Gait Stability Control of Quadruped Robot by Composite Nonlinear Feedback and Model Predictive Control
How Chinese Women Cope with Physical and Psychological Traumas in Gynecological Examinations: A Situational Analysis of Patients' Communicative Accommodations