Synthesizing Secure Reactive Controller for Unmanned Aerial System. - Wei Lu; Shaoxian Shu; Rao Shi; Rui Li 050; Wei Dong 006 (DSA, 2019)

Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. - Rui Li 050; Hao Shi 007; Wanwei Liu; Wei Dong 006 (APSEC, 2020)

Controller Synthesis for ROS-based Multi-Robot Collaboration. - Xudong Zhao 006; Rui Li 050; Wanwei Liu; Hao Shi 007; Shaoxian Shu; Wei Dong 006 (SEKE, 2020)

Controller Resynthesis for Multirobot System When Changes Happen. - Hao Shi 007; Wei Dong 006; Rui Li 050; Wanwei Liu (Computer, 2020)

Iterative Controller Synthesis for Multirobot System. - Hao Shi 007; Rui Li 050; Wanwei Liu; Wei Dong 006; Ge Zhou (IEEE Trans. Reliab., 2020)

Probabilistic synthesis against GR(1) winning condition. - Wei Zhao; Rui Li 050; Wanwei Liu; Wei Dong 006; Zhiming Liu 001 (Frontiers Comput. Sci., 2022)