Rui Yan
 |
Rui Yan, Postdoctoral Fellow (Research Associate) Office: Wolfson Building, Parks Road |
About me
Welcome to my personal website. I am a postdoctoral fellow (research associate) in the Department of Computer Science at University of Oxford, working with Prof. Marta Kwiatkowska. Before joining University of Oxford, I obtained my PhD degree in the Department of Automation at Tsinghua University in Jan. 2021. My PhD advisor was Prof. Yisheng Zhong. I obtained my Bachelor's degree in Automation from Beihang University in 2015. I was a visiting scholar with the Mechanical Engineering Department and the Center for Control, Dynamical Systems and Computation at the University of California, Santa Barbara from Feb 2019 to Feb 2020, supervised by Prof. Francesco Bullo. My current research focuses on stochastic games, probabilistic verification and synthesis, reach-avoid differential games and multi-agent reinforcement learning. The applications include neural-symbolic systems, multi-robot cooperation and competition, and multi-vehicle automated driving.
Updates
2024 Apr.: Our paper “HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms” has been accepted in L4DC 2024!
2024 Mar.: Our paper “Pursuit Winning Strategies for Reach-Avoid Games with Polygonal Obstacles” is available on arXiv!
2023 Nov.: Our paper “Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach” is available on arXiv!
2023 Nov.: Our paper “Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies” has been accepted for publication in IEEE Transactions on Automatic Control as a regular paper!
2023 Nov.: Our paper “Multiple-Pursuer Single-Evader Reach-Avoid Games in Constant Flow Fields” has been accepted for publication in IEEE Transactions on Automatic Control!
2023 Oct.: Our paper “Partially Observable Stochastic Games with Neural Perception Mechanisms” is available on arXiv!
2023 Aug.: Our paper “Evaluation and Learning in Two-Player Symmetric Games via Best and Better Responses” has been accepted for publication in Information Sciences!
2023 June: Our paper “Point-based Value Iteration for Neuro-Symbolic POMDPs” is available on arXiv!
2022 May: Our paper “Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games” has been accepted at UAI 2022!
2022 Jan.: Our paper ’'Matching-Based Capture Strategies for 3D Heterogeneous Multiplayer Reach-Avoid Differential Games’’ has been accepted for publication in Automatica as a regular paper with coauthors Xiaoming Duan, Prof. Zongying Shi, Prof. Yisheng Zhong, and Prof. Francesco Bullo.
2021 Jul.: Congratulations to Haowen for his work on “Reach-Avoid Differential Games via Finite-Time Heading Tracking” accepted to IEEE CDC 2021.
2021 Jun.: I am honored to receive outstanding PhD thesis award from Tsinghua University.
2021 May: Our paper ‘‘Policy Evaluation and Seeking for Multi-Agent Reinforcement Learning via Best Response" has been accepted for publication in IEEE Transactions on Automatic Control (Regular paper), with coauthors Xiaoming Duan, Prof. Zongying Shi, Prof. Yisheng Zhong, Prof. Jason R. Marden, and Prof. Francesco Bullo.
2021 Mar.: I started my position as a postdoctoral fellow at University of Oxford, working with Prof. Marta Kwiatkowska.
2021 Apr.: My personal website is online!