已发表成果:
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
How Chinese Women Cope with Physical and Psychological Traumas in Gynecological Examinations: A Situational Analysis of Patients' Communicative Accommodations
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