Guang Yang
Sun Yat-sen University(CN)University of Cambridge(GB)Shanghai University of Traditional Chinese Medicine(CN)NARI Group (China)(CN)Traditional Chinese Medicine Hospital of Kunshan(CN)East China Normal University(CN)East China University of Political Science and Law(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Robotic Path Planning Algorithms, Embedded Systems Design Techniques, Adaptive Control of Nonlinear Systems
Most-Cited Works
- → Parameter-efficient fine-tuning of large-scale pre-trained language models(2023)809 cited
- → A formal methods approach to interpretable reinforcement learning for robotic planning(2019)104 cited
- → A Telecom Perspective on the Internet of Drones: From LTE-Advanced to 5G(2018)83 cited
- → Self-triggered Control for Safety Critical Systems Using Control Barrier Functions(2019)59 cited
- → Haptic Teleoperation of UAVs Through Control Barrier Functions(2020)48 cited
- → Continuous-time Signal Temporal Logic Planning with Control Barrier Functions(2020)38 cited