Shuaiyi Li 李帅谊
🌙 About Me
I am currently a first-year PhD student at Cyber-Physical Systems Group of Technical University of Munich, supervised by Prof. Dr.-Ing. Matthias Althoff. Before that, I received my M.Sc and B.S. degree in SJTU, supervised by Prof. Xiang Yin major in automation. [CV]
✉️Email: shuaiyi.li[at]tum.de
🔥 News
-
2023.10 🎉🎉Our control-sensing co-synthesis paper got accepted by T-IV.
-
2023.03 🎉🎉Our non-blocking controller synthesis paper got accepted by IFAC’23.
📖 Education Experience
Educations:
-
2021.09 - 2024.03, M.S. in Shanghai Jiao Tong University, Automation
GPA 3.84/4.0; Ranking 8/122
TOEFL 112/120; GRE to be taken
-
2017.09 - 2021.06, B.S. in Shanghai Jiao Tong University, Automation
Grade 88.0/100; Ranking 15/104
-
2013.09-2017.07, junior and senior high school all together in Gifted Class, North East YuCai School (NEYC)
Scholarships and Awards:
- Shanghai Jiao Tong University First Class Scholarship, 2021-2022
Some In-course Projects:
-
Implementation of Robotic Arm Automatic Puzzle Restoration [Video]
-
ROS-Gazebo Mobile Robot Simulation [Video]
-
Robot Path Tracking and Visual Mark Detection [Video]
📝 Research Experience
TUM Cyber-physical System Lab, 2024.11 – Present
Mainly focus: Reinforcement learning, autonomous driving and formal verification of traffic rules, including
-
NN based action masking for provably safe RL
-
Traffic rule compliment RL for autonomous driving
SJTU Cyber-physical System Lab, 2021.09 – 2024.03
Mainly focus: High-level liner temporal logic task planning problem for intelligent agent under partial observation, including
-
Non-blocking controller synthesis
-
Active-sensing task planning algorithm design
Publications:
[1] Shuaiyi Li, S. Li and X. Yin. “Synthesis of non-blocking controllers for linear temporal logic tasks under partial observations.” in 22nd IFAC World Congress, accepted, 2023. [PDF] [Talk] [Video]
[2] Shuaiyi Li, M. Wei, S. Li and X. Yin. “Temporal Logic Task Planning for Autonomous Systems with Active Acquisition of Information.” in IEEE Trans. Intelligent Vehicles (T-IV), accepted, 2023. [PDF] [Video]
SJTU Institute of Image Processing and Pattern Recognition, 2019.08 - 2021.06
Mainly focus: Adversarial attack and medical image processing, including
-
Attack and data enhancement of colonoscopy polyp detector
-
Analyze of chromosome karyotype image
Publications:
[1] Fan He, Sizhe Chen, Shuaiyi Li, et al. “Colonoscopic image synthesis for polyp detector enhancement via gan and adversarial training.” in IEEE 18th International Symposium on Biomedical Imaging (ISBI), 2021. [PDF]
🌴 Blogs
This region is in construction…
👷👷♀️👷🏽🚧🚧🚧🚧🚧🚧🚧🚧🚧🚧