Shuo Yang
I am a PhD student at University of Pennsylvania, advised by Rahul Mangharam. Previously, I obtained my Bachelor's degree from Shanghai Jiao Tong University in 2021, where I worked closely with Xiang Yin.
I was a research scientist intern at Toyota Research with Bardh Hoxha and Georgios Fainekos during the summer of 2023.
I was born in 2000, Hunan, China.
I am broadly interested in formal methods, machine learning, control theory, and algorithmic game theory, with their applications to robotic and multi-agents systems.
In the past, my work mainly cover
- Game-theoretic motion planning for non-cooperative multi-agent systems
- Learning-enabled safe planning and control for robotic and multi-agent systems
- Building formal method guided trustworthy and reliable A.I. system
- Formal verification and synthesis for hybrid systems
I am open to collaboration. Please drop me an email if you want to chat :)
Email  / 
Linkedin / 
CV  / 
Github  / 
Google Scholar
|
|
[Apr 2024] Glad to hear that I am selected as a 2024 DAAD AInet Fellow on Safe and Secure AI.
[Mar 2024] I wrote a simple and easy-to-use Nash Equilibrium Solver for Two-Player Zero-Sum games, feel free to play around with it.
[Jan 2024] Our paper on Learning Adaptive Safety is accepted by ICRA 2024.
[Jan 2024] New work on Learning Local Safety Filters for Hybrid Systems [preprint][code].
[Jan 2024] I give a talk at CMU Intelligent Control Lab.
[Jan 2024] Our paper on Safe Hybrid System is accepted by ACC 2024.
[Dec 2023] Selected as a Global Young PhD Fellow of Linear Capital.
[Dec 2023] I am invited to be an Area Chair of Tiny Papers @ ICLR 2024.
[Sep 2023] I give a talk at UPenn ASSET Seminar with Rahul.
[Sep 2023] Invited talk at UPenn Formal Methods & Machine Learning Seminar.
[Jul 2023] I give a talk at UMich Prof. Necmiye Ozay's group.
|
Research
(* indicates equal contribution)
|
Conformal Off-Policy Prediction for Multi-Agent Systems
Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
Under review [PDF]
Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments
Hongrui Zheng, Zhijun Zhuang, Stephanie Wu, Shuo Yang, Rahul Mangharam
Under review [PDF]
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems
Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam
Under review [PDF][code]
Multi-agent reinforcement learning guided by signal temporal logic specifications
Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Meiyi Ma, Rahul Mangharam, Fei Miao
Under review [PDF][code]
MEGA-DAgger: Imitation learning with multiple imperfect experts
Xiatao Sun*, Shuo Yang*, Rahul Mangharam
Under review [PDF][code]
Learning Adaptive Safety for Multi-Agent Systems
Luigi Berducci, Shuo Yang, Rahul Mangharam, Radu Grosu
IEEE International Conference on Robotics and Automation (ICRA) 2024 [PDF][code]
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
American Control Conference (ACC) 2024 [PDF][code]
Safe perception-based control under stochastic sensor uncertainty using conformal prediction
Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann
IEEE Conference on Decision and Control (CDC) 2023 [PDF][code]
You don't know when I will arrive: unpredictable controller synthesis for temporal logic tasks
Yu Chen*, Shuo Yang*, Rahul Mangharam, Xiang Yin
22nd IFAC World Congress 2023 [PDF]
A benchmark comparison of imitation learning-based control policies for autonomous racing
Xiatao Sun, Mingyan Zhou, Zhijun Zhuang, Shuo Yang, Johannes Betz, Rahul Mangharam
IEEE Intelligent Vehicles Symposium (IV) 2023 [PDF][code]
Differentiable safe controller design through control barrier functions
Shuo Yang*, Shaoru Chen*, Victor M. Preciado, Rahul Mangharam
IEEE Control Systems Letters (L-CSS) 2022 [PDF][code]
Verification and Synthesis of Opacity for Cyber-Physical Systems
Shuo Yang
Undergraduate Thesis, Shanghai Jiao Tong University 2021
Outstanding Bachelor Thesis Award of SJTU
Secure your intention: On notions of pre-opacity in discrete-event systems
Shuo Yang, Xiang Yin
IEEE Transactions on Automatic Control (TAC) 2022 [PDF]
Opacity of networked supervisory control systems over insecure communication channels
Shuo Yang, Junyao Hou, Xiang Yin, Shaoyuan Li
IEEE Transactions on Control of Network Systems (TCNS) 2021 [PDF]
Secure-by-construction optimal path planning for linear temporal logic tasks
Shuo Yang, Xiang Yin, Shaoyuan Li and Majid Zamani
IEEE Conference on Decision and Control (CDC) 2020 [PDF]
|
University of Pennsylvania, Philadelphia, PA, USA
Research Assistant . Aug. 2021 to present
Advisor: Rahul Mangharam
Toyota Research Institute of North America, Ann Arbor, MI, USA
Research Scientist Intern. May. 2023 to Aug. 2023
Mentors: Georgios Fainekos and Bardh Hoxha
Duke University, remote
Research Assistant . Jun. 2020 to Sep. 2020
Mentor: Michael Zavlanos
Shanghai Jiao Tong University, Shanghai, China
Research Assistant . Mar. 2019 to Jun. 2021
Advisor: Xiang Yin
|
Selected Honors
- 2024, DAAD AInet Fellow
- 2024, Global Young PhD Fellow of Linear Capital
- 2023, ACC Travel Grant
- 2021, The Dean's Fellowship from Penn
- 2021, Solomon M. Swaab Fellowship from Penn
- 2021, Outstanding Graduate of SJTU
- 2021, Outstanding Bachelor Thesis Award from SJTU (top 1%)
- 2020, Person of the Year of SJTU
- 2018 & 2019, Outstanding Academic Scholarship from SJTU
|
Service
- Area Chair: Tiny Papers @ ICLR 2024, 2023
- Reviewer:
- American Control Conference (ACC)
- IEEE Conference on Decision and Control (CDC)
- International Conference on Cyber-Physical Systems (ICCPS)
- Advances in Neural Information Processing Systems (NeurIPS)
- AAAI Conference on Artificial Intelligence (AAAI)
- IEEE Transactions on Automatic Control (TAC)
- IEEE Robotics and Automation Letters (RA-L)
- IEEE Control Systems Letters (L-CSS)
- IEEE Transactions on Intelligent Vehicles (TIV)
- Nonlinear Analysis: Hybrid Systems (NAHS)
- IEEE International Conference on Robotics and Automation (ICRA)
- IROS 2023 Workshop on Multi-agent Dynamic Games (MAD-Games)
- NeurIPS 2023 AI for Science Workshop (AI4Science)
- etc.
|
Template from Jon Barron.
Last updated April 2024.
|
|