Rui Yan

alt text 

Rui Yan, Postdoctoral Fellow (Research Associate)
Department of Computer Science
University of Oxford

Office: Wolfson Building, Parks Road
Email: rui.yan at cs.ox.ac.uk; ruiyan.future at gmail.com
Links: Google Scholar

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

  • 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!