114 citations · 127 across the 13 of their papers we have counts for
13 papers
Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach
Rui Yan, Xiaoming Duan, Rui Zou +3
This paper presents a multiplayer Homicidal Chauffeur reach-avoid differential game, which involves Dubins-car pursuers and simple-motion evaders. The goal of the pursuers is to co…
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
Marta Kwiatkowska, Gethin Norman, David Parker +2
Game-theoretic concepts have been extensively studied in economics to provide insight into competitive behaviour and strategic decision making. As computing systems increasingly in…
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games
Rui Yan, Gabriel Santos, Xiaoming Duan +2
We present novel techniques for neuro-symbolic concurrent stochastic games, a recently proposed modelling formalism to represent a set of probabilistic agents operating in a contin…
Evaluation and Learning in Two-Player Symmetric Games via Best and Better Responses
Rui Yan, Weixian Zhang, Ruiliang Deng +3
Artificial intelligence and robotic competitions are accompanied by a class of game paradigms in which each player privately commits a strategy to a game system which simulates the…
Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
Rui Yan, Gabriel Santos, Gethin Norman +2
Neuro-symbolic approaches to artificial intelligence, which combine neural networks with classical symbolic techniques, are growing in prominence, necessitating formal approaches t…
On the Detection of Markov Decision Processes
Xiaoming Duan, Yagiz Savas, Rui Yan +2
We study the detection problem for a finite set of Markov decision processes (MDPs) where the MDPs have the same state and action spaces but possibly different probabilistic transi…
Multiplayer Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies
Rui Yan, Ruiliang Deng, Haowen Lai +3
This paper studies a planar multiplayer Homicidal Chauffeur reach-avoid differential game, where each pursuer is a Dubins car and each evader has simple motion. The pursuers aim to…
Privacy-Utility Trade-Offs Against Limited Adversaries
Xiaoming Duan, Zhe Xu, Rui Yan +1
We study privacy-utility trade-offs where users share privacy-correlated useful information with a service provider to obtain some utility. The service provider is adversarial in t…
Policy Evaluation and Seeking for Multi-Agent Reinforcement Learning via Best Response
Rui Yan, Xiaoming Duan, Zongying Shi +3
This paper introduces two metrics (cycle-based and memory-based metrics), grounded on a dynamical game-theoretic solution concept called sink equilibrium, for the evaluation, ranki…
Matching-Based Capture Strategies for 3D Heterogeneous Multiplayer Reach-Avoid Differential Games
Rui Yan, Xiaoming Duan, Zongying Shi +2
This paper studies a 3D multiplayer reach-avoid differential game with a goal region and a play region. Multiple pursuers defend the goal region by consecutively capturing multiple…
Construction of the Barrier for Reach-Avoid Differential Games in Three-Dimensional Space with Four Equal-Speed Players
Rui Yan, Zongying Shi, Yisheng Zhong
This paper considers a reach-avoid differential game in three-dimensional space with four equal-speed players. A plane divides the game space into a play subspace and a goal subspa…
Task Assignment for Multiplayer Reach-Avoid Games in Convex Domains via Analytical Barriers
Rui Yan, Zongying Shi, Yisheng Zhong
This work considers a multiplayer reach-avoid game between two adversarial teams in a general convex domain which consists of a target region and a play region. The evasion team, i…
Guarding a Subspace in High-Dimensional Space with Two Defenders and One Attacker
Rui Yan, Zongying Shi, Yisheng Zhong
This paper considers a subspace guarding game in high-dimensional space which consists of a play subspace and a target subspace. Two faster defenders cooperate to protect the targe…