Welcome
Home
Publications
Misc

Publications

Journals/CS Conferences

  1. R. Yan, G. Santos, G. Norman, D. Parker, M. Kwiatkowska. Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. Information and Computation (Full paper), 2024. (To appear) https://arxiv.org/abs/2202.06255.

  2. R. Yan, G. Santos, G. Norman, D. Parker, M. Kwiatkowska. Partially Observable Stochastic Games with Neural Perception Mechanisms, In 26th International Symposium on Formal Methods (FM), 2024. (To appear) https://arxiv.org/pdf/2310.11566.

  3. R. Yan, X. Duan, R. Zou, X. He, Z. Shi, F. Bullo. Multiplayer Homicidal Chauffeur Reach-Avoid Games: A Pursuit Enclosure Function Approach. Automatica (Regular paper), 167, 111770, 2024. https://doi.org/10.1016/j.automatica.2024.111770.

  4. R. Yan, R. Deng, H. Lai, W. Zhang, Z. Shi, Y. Zhong. Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies. IEEE Transactions on Automatic Control (Regular paper), 69(4):2367-2382, 2024. https://doi.org/10.1109/TAC.2023.3329693.

  5. R. Yan, W. Zhang, R. Deng, X. Duan, Z. Shi, Y. Zhong. Evaluation and Learning in Two-Player Symmetric Games via Best and Better Responses. Information Sciences, 119459, 2023. https://www.sciencedirect.com/science/article/pii/S0020025523010447.

  6. R. Deng, W. Zhang, R. Yan, Z. Shi, and Y. Zhong. Multiple-Pursuer Single-Evader Reach-Avoid Games in Constant Flow Fields. IEEE Transactions on Automatic Control, 69(3), 1789-1795, 2024. https://doi.org/10.1109/TAC.2023.3329537.

  7. X. Duan, Z. Xu, R. Yan, U. Topcu. Privacy-Utility Trade-Offs Against Limited Adversaries. IEEE Transactions on Automatic Control, 69(1), 519-526, 2024. https://doi.org/10.1109/TAC.2023.3269360.

  8. R. Yan, R. Deng, X. Duan, Z. Shi, Y. Zhong. Multiplayer reach-avoid differential games with simple motions: A review. Frontiers in Control Engineering, 3, 2023. https://www.frontiersin.org/articles/10.3389/fcteg.2022.1093186.

  9. M. Kwiatkowska, G. Norman, D. Parker, G. Santos, R. Yan. Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS), 4:1–4:22, 2022. https://doi.org/10.4230/LIPIcs.MFCS.2022.4.

  10. R. Yan, G. Santos, X. Duan, D. Parker, M. Kwiatkowska. Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. In 38th Conference on Uncertainty in Artificial Intelligence (UAI), 2170-2180, 2022. https://openreview.net/forum?id=ScIl8wLj9lc.

  11. R. Yan, X. Duan, Z. Shi, Y. Zhong, F. Bullo. Matching-based Capture Strategies for 3D Heterogeneous Multiplayer Reach-Avoid Differential Games. Automatica (Regular paper), 140, 110-207, 2022. https://doi.org/10.1016/j.automatica.2022.110207.

  12. R. Yan, X. Duan, Z. Shi, Y. Zhong, J. R. Marden, F. Bullo. Policy Evaluation and Seeking for Multi-Agent Reinforcement Learning via Best Response. IEEE Transactions on Automatic Control (Regular paper), 67(4), 1898-1913, 2022. https://doi.org/10.1109/TAC.2021.3085171.

  13. R. Yan, Z. Shi and Y. Zhong. Optimal Strategies for the Lifeline Differential Game with Limited Lifetime. International Journal of Control, 94(8), 2238-2251, 2021. https://doi.org/10.1080/00207179.2019.1698770.

  14. R. Yan, Z. Shi and Y. Zhong. Cooperative Strategies for Two-Evader-One-Pursuer Reach-Avoid Differential Games. International Journal of Systems Science, 52(9), 1894-1912, 2021. https://doi.org/10.1080/00207721.2021.1872116.

  15. R. Yan, Z. Shi and Y. Zhong. Task Assignment for Multiplayer Reach-Avoid Games in Convex Domains via Analytical Barriers. IEEE Transactions on Robotics (Regular paper), 36: 107-124, 2020. https://doi.org/10.1109/TRO.2019.2935345.

  16. R. Yan, Z. Shi and Y. Zhong. Guarding a Subspace in High-Dimensional Space with Two Defenders and One Attacker. IEEE Transactions on Cybernetics, 52(5), 3998-4011, 2020. https://doi.org/10.1109/TCYB.2020.3015031.

  17. R. Yan, Z. Shi and Y. Zhong. Reach-Avoid Games with Two Defenders and One Attacker: An Analytical Approach. IEEE Transactions on Cybernetics, 49(3): 1035-1046, 2019. https://doi.org/10.1109/TCYB.2018.2794769.

  18. L. Qin, X. He, R. Yan, D. Zhou. Active Fault-Tolerant Control for A Quadrotor with Sensor Faults. Journal of Intelligent & Robotic Systems, 88(2-4): 449-467, 2017. https://doi.org/10.1007/s10846-017-0474-0.

  19. L. Qin, X. He, R. Yan, R. Deng, D. Zhou. Distributed Sensor Fault Diagnosis for A Formation of Multi-vehicle Systems. Journal of The Franklin Institute, 356(2): 791-818, 2017. https://doi.org/10.1016/j.jfranklin.2017.11.020.

  20. L. Qin, X. He, R. Yan, R. Deng, D. Zhou. Distributed Sensor Fault Diagnosis for A Formation System with Unknown Constant Time Delays. Science China-Information Sciences, 61(11): 1-16, 2017. https://doi.org/10.1007/s11432-017-9309-3.

Conferences

  1. R. Yan, G. Santos, G. Norman, D. Parker, M. Kwiatkowska. HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. In 6th Annual Learning for Dynamics & Control Conference (L4DC), 242, pp. 80-91, Oxford, UK, Jul. 2024. https://proceedings.mlr.press/v242/yan24a/yan24a.pdf.

  2. J. Cheng, R. Yan, M. Ye. Attack-Defense Differential Games for 3D Defenders and 2D or 3D Attackers. In 50th Annual Conference of the IEEE Industrial Electronics Society (IECON), Chicago, USA, 2024. (To appear)

  3. X. Duan, N. Baharisangari, R. Yan, Z. Xu, M. Ornik. On a Notion of Resilience for Markov Decision Processes with Reachability Objectives. In 22nd World Congress of the International Federation of Automatic Control (IFAC), 56(2), pp. 11261-11266, Yokohama, Japan, Jul., 2023. https://doi.org/10.1016/j.ifacol.2023.10.318.

  4. H. Lai, R. Yan, W. Zhang, Z. Shi, Y. Zhong. Reach-Avoid Differential Games via Finite-Time Heading Tracking. In IEEE Conference on Decision and Control (CDC), pp. 1656-1662, Austin, TX, USA, Dec. 2021. https://doi.org/10.1109/CDC45484.2021.9683266.

  5. R. Deng, R. Yan, W. Zhang, Z. Shi, Y. Zhong. Receding Horizon Defense Strategy for Reach-Avoid Games with Uncertainties via Pairwise Outcomes. In 40th Chinese Control Conference (CCC), pp. 5401-5406, Shanghai, China, Oct. 2021. https://doi.org/10.23919/CCC52363.2021.9550127.

  6. H. Lai, W. Liang, R. Yan, Z. Shi, Y. Zhong. LiDAR-Inertial based Localization and Perception for Indoor Pursuit-Evasion Differential Games. In 40th Chinese Control Conference (CCC), pp. 7468-7473, Shanghai, China, Oct. 2021. https://doi.org/10.23919/CCC52363.2021.9549330.

  7. R. Yan, Z. Shi and Y. Zhong. Construction of the Barrier for Reach-Avoid Differential Games in Three-Dimensional Space with Four Equal-Speed Players. In IEEE Conference on Decision and Control (CDC), pp. 4067-4072, Nice, France, Dec. 2019. https://doi.org/10.1109/CDC40024.2019.9029495.

  8. R. Yan, Z. Shi and Y. Zhong. Defense Game in a Circular Region. In IEEE Conference on Decision and Control (CDC), pp. 5590-5595, Melbourne, Australia, Dec. 2017. https://doi.org/10.1109/CDC.2017.8264502.

  9. R. Yan, Z. Shi and Y. Zhong. Escape-Avoid Games with Multiple Defenders along A Fixed Circular Orbit. In IEEE International Conference on Control & Automation (ICCA), pp. 958-963, Ohrid, Macedonia, July 2017. https://doi.org/10.1109/ICCA.2017.8003190.

  10. R. Yan, Y. Zhou, Z. Shi, and Y. Zhong. Formation Tracking of Unmanned Aerial Vehicle Swarm Systems with Predefined Formation Reference and Switching Topologies. In International Conference on Control, Automation, Robotics and Vision (ICARCV), pp. 1-6, Phuket, Thailand, Nov. 2016. https://doi.org/10.1109/ICARCV.2016.7838735.

Preprints

  1. R. Yan, G. Santos, G. Norman, D. Parker, M. Kwiatkowska. Point-based Value Iteration for Neuro-Symbolic POMDPs, 2023. http://arxiv.org/abs/2306.17639.

  2. R. Yan, S. Mi, X. Duan, J. Chen, X. Ji. Pursuit Winning Strategies for Reach-Avoid Games with Polygonal Obstacles, 2024. https://arxiv.org/pdf/2403.06202.

  3. X. Duan, Y. Savas, R. Yan, Z. Xu, U. Topcu. On the Detection of Markov Decision Processes, 2021. https://arxiv.org/abs/2112.12338