Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. - Shuo Yang 007; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2020)

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels. - Shuo Yang 007; Junyao Hou; Xiang Yin 003; Shaoyuan Li (IEEE Trans. Control. Netw. Syst., 2021)

You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. - Yu Chen 072; Shuo Yang 007; Rahul Mangharam; Xiang Yin 003 (CoRR, 2022)

Towards Explainability in Modular Autonomous Vehicle Software. - Hongrui Zheng; Zirui Zang; Shuo Yang 007; Rahul Mangharam (CoRR, 2022)

Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. - Shuo Yang 007; George J. Pappas; Rahul Mangharam; Lars Lindemann (CDC, 2023)

A Benchmark Comparison of Imitation Learning-based Control Policies for Autonomous Racing. - Xiatao Sun; Mingyan Zhou; Zhijun Zhuang; Shuo Yang 007; Johannes Betz; Rahul Mangharam (IV, 2023)

Towards Explainability in Modular Autonomous System Software. - Hongrui Zheng; Zirui Zang; Shuo Yang 007; Rahul Mangharam (IV, 2023)

MEGA-DAgger: Imitation Learning with Multiple Imperfect Experts. - Xiatao Sun; Shuo Yang 007; Rahul Mangharam (CoRR, 2023)

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. - Jiangwei Wang; Shuo Yang 007; Ziyan An; Songyang Han; Zhili Zhang; Rahul Mangharam; Meiyi Ma; Fei Miao (CoRR, 2023)

Differentiable Safe Controller Design Through Control Barrier Functions. - Shuo Yang 007; Shaoru Chen; Victor M. Preciado; Rahul Mangharam (IEEE Control. Syst. Lett., 2023)

Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. - Shuo Yang 007; Xiang Yin 003 (IEEE Trans. Autom. Control., 2023)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. - Shuo Yang 007; Mitchell Black 001; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Rahul Mangharam (ACC, 2024)

Conformal Off-Policy Prediction for Multi-Agent Systems. - Tom Kuipers; Renukanandan Tumu; Shuo Yang 007; Milad Kazemi; Rahul Mangharam; Nicola Paoletti (CDC, 2024)

Learning Adaptive Safety for Multi-Agent Systems. - Luigi Berducci; Shuo Yang 007; Rahul Mangharam; Radu Grosu (ICRA, 2024)

Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. - Shuo Yang 007; Yu Chen 072; Xiang Yin 003; Rahul Mangharam (CoRR, 2024)

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 007; Rahul Mangharam (CoRR, 2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. - Shuo Yang 007; Hongrui Zheng; Cristian-Ioan Vasile; George J. Pappas; Rahul Mangharam (L4DC, 2025)