We stand with Ukraine  

Rui Li

Affiliations:
  • National University of Defense Technology, College of Computer Science, Changsha, China
  • Hunan Normal University, Changsha, China (until 2018)


According to our database1, Rui Li authored at least 6 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Probabilistic synthesis against GR(1) winning condition.
[BibTeX]
[DOI]
Wei Zhao
,
Rui Li
,
Wanwei Liu
,
Wei Dong
,
Zhiming Liu
Frontiers Comput. Sci., 2022

2020
Iterative Controller Synthesis for Multirobot System.
[BibTeX]
[DOI]
Hao Shi
,
Rui Li
,
Wanwei Liu
,
Wei Dong
,
Ge Zhou
IEEE Trans. Reliab., 2020

Controller Resynthesis for Multirobot System When Changes Happen.
[BibTeX]
[DOI]
Hao Shi
,
Wei Dong
,
Rui Li
,
Wanwei Liu
Computer, 2020

Controller Synthesis for ROS-based Multi-Robot Collaboration.
[BibTeX]
[DOI]
Xudong Zhao
,
Rui Li
,
Wanwei Liu
,
Hao Shi
,
Shaoxian Shu
,
Wei Dong
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.
[BibTeX]
[DOI]
Rui Li
,
Hao Shi
,
Wanwei Liu
,
Wei Dong
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Synthesizing Secure Reactive Controller for Unmanned Aerial System.
[BibTeX]
[DOI]
Wei Lu
,
Shaoxian Shu
,
Rao Shi
,
Rui Li
,
Wei Dong
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019


  Loading...