Rui Li

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Controller Synthesis

Probabilistic Relational

Multi Robot Exploration

Leader Follower

Top Venues

IEEE Trans. Reliab.

Frontiers Comput. Sci.

Publications

Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16 (3) (2022)
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE (2020)
Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou
Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. 69 (3) (2020)
Rui Li, Hao Shi, Wanwei Liu, Wei Dong
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC (2020)
Hao Shi, Wei Dong, Rui Li, Wanwei Liu
Controller Resynthesis for Multirobot System When Changes Happen. Computer 53 (12) (2020)
Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong
Synthesizing Secure Reactive Controller for Unmanned Aerial System. DSA (2019)