Formation tracking of unmanned aerial vehicle swarm systems with predefined formation reference and switching topologies. - Rui Yan 002; Yan Zhou; Zongying Shi; Yisheng Zhong (ICARCV, 2016)

Defense game in a circular region. - Rui Yan 002; Zongying Shi; Yisheng Zhong (CDC, 2017)

Escape-avoid games with multiple defenders along a fixed circular orbit. - Rui Yan 002; Zongying Shi; Yisheng Zhong (ICCA, 2017)

Active Fault-Tolerant Control for a Quadrotor with Sensor Faults. - Liguo Qin; Xiao He 001; Rui Yan 002; Donghua Zhou (J. Intell. Robotic Syst., 2017)

Distributed sensor fault diagnosis for a formation system with unknown constant time delays. - Donghua Zhou; Liguo Qin; Xiao He 001; Rui Yan 002; Ruiliang Deng (Sci. China Inf. Sci., 2018)

Construction of the Barrier for Reach-Avoid Differential Games in Three-Dimensional Space with Four Equal-Speed Players. - Rui Yan 002; Zongying Shi; Yisheng Zhong (CDC, 2019)

Distributed sensor fault diagnosis for a formation of multi-vehicle systems. - Liguo Qin; Xiao He 001; Rui Yan 002; Ruiliang Deng; Donghua Zhou (J. Frankl. Inst., 2019)

Reach-Avoid Games With Two Defenders and One Attacker: An Analytical Approach. - Rui Yan 002; Zongying Shi; Yisheng Zhong (IEEE Trans. Cybern., 2019)

Policy Evaluation and Seeking for Multi-Agent Reinforcement Learning via Best Response. - Rui Yan 002; Xiaoming Duan; Zongying Shi; Yisheng Zhong; Jason R. Marden; Francesco Bullo (CoRR, 2020)

Task Assignment for Multiplayer Reach-Avoid Games in Convex Domains via Analytical Barriers. - Rui Yan 002; Zongying Shi; Yisheng Zhong (IEEE Trans. Robotics, 2020)

Reach-Avoid Differential Games via Finite-Time Heading Tracking. - Haowen Lai; Rui Yan 002; Weixian Zhang; Zongying Shi; Yisheng Zhong (CDC, 2021)

Privacy-Utility Trade-Offs Against Limited Adversaries. - Xiaoming Duan; Zhe Xu 005; Rui Yan 002; Ufuk Topcu (CoRR, 2021)

Multiplayer Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies. - Rui Yan 002; Ruiliang Deng; Haowen Lai; Weixian Zhang; Zongying Shi; Yisheng Zhong (CoRR, 2021)

Optimal strategies for the lifeline differential game with limited lifetime. - Rui Yan 002; Zongying Shi; Yisheng Zhong (Int. J. Control, 2021)

Cooperative strategies for two-evader-one-pursuer reach-avoid differential games. - Rui Yan 002; Zongying Shi; Yisheng Zhong (Int. J. Syst. Sci., 2021)

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (MFCS, 2022)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Xiaoming Duan; David Parker 001; Marta Kwiatkowska (UAI, 2022)

Matching-based capture strategies for 3D heterogeneous multiplayer reach-avoid differential games. - Rui Yan 002; Xiaoming Duan; Zongying Shi; Yisheng Zhong; Francesco Bullo (Autom., 2022)

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (CoRR, 2022)

Policy Evaluation and Seeking for Multiagent Reinforcement Learning via Best Response. - Rui Yan 002; Xiaoming Duan; Zongying Shi; Yisheng Zhong; Jason R. Marden; Francesco Bullo (IEEE Trans. Autom. Control., 2022)

Guarding a Subspace in High-Dimensional Space With Two Defenders and One Attacker. - Rui Yan 002; Zongying Shi; Yisheng Zhong (IEEE Trans. Cybern., 2022)

Point-based Value Iteration for Neuro-Symbolic POMDPs. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (CoRR, 2023)

Evaluation and learning in two-player symmetric games via best and better responses. - Rui Yan 002; Weixian Zhang; Ruiliang Deng; Xiaoming Duan; Zongying Shi; Yisheng Zhong (Inf. Sci., 2023)

Partially Observable Stochastic Games with Neural Perception Mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (FM (1), 2024)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (L4DC, 2024)

Multiplayer Homicidal Chauffeur reach-avoid games: A pursuit enclosure function approach. - Rui Yan 002; Xiaoming Duan; Rui Zou; Xin He; Zongying Shi; Francesco Bullo (Autom., 2024)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (Inf. Comput., 2024)

A Distributed Auction Algorithm for Task Assignment With Robot Coalitions. - Ruiliang Deng; Rui Yan 002; Peinan Huang; Zongying Shi; Yisheng Zhong (IEEE Trans. Robotics, 2024)

Privacy-Utility Tradeoffs Against Limited Adversaries. - Xiaoming Duan; Zhe Xu 005; Rui Yan 002; Ufuk Topcu (IEEE Trans. Autom. Control., 2024)

Multiple-Pursuer Single-Evader Reach-Avoid Games in Constant Flow Fields. - Ruiliang Deng; Weixian Zhang; Rui Yan 002; Zongying Shi; Yisheng Zhong (IEEE Trans. Autom. Control., 2024)

Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies. - Rui Yan 002; Ruiliang Deng; Haowen Lai; Weixian Zhang; Zongying Shi; Yisheng Zhong (IEEE Trans. Autom. Control., 2024)

On the detection of Markov decision processes. - Xiaoming Duan; Yagiz Savas; Rui Yan 002; Zhe Xu 005; Ufuk Topcu (Autom., 2025)

Pursuit Winning Strategies for Reach-Avoid Games With Polygonal Obstacles. - Rui Yan 002; Shuai Mi; Xiaoming Duan; Jintao Chen; Xiangyang Ji (IEEE Trans. Autom. Control., 2025)