Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. - Hao Shi 007; Wei Dong 006; Ge Zhou; Liangze Yin (QRS Companion, 2017)

Optimizing Monitor Code Based on Patterns in Runtime Verification. - Ge Zhou; Wei Dong 006; Wanwei Liu; Hao Shi 007; Chi Hu; Liangze Yin (QRS Companion, 2017)

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)

Decentralized runtime enforcement for robotic swarms. - Chi Hu; Wei Dong 006; Yonghui Yang; Hao Shi 007; Fei Deng (Frontiers Inf. Technol. Electron. Eng., 2020)

Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms. - Chi Hu; Wei Dong 006; Yonghui Yang; Hao Shi 007; Ge Zhou (IEEE Trans. Reliab., 2020)

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

Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels. - Dong Yang; Hao Shi 007; Wei Dong 006; Yanqi Dong; Yong Zhang (Internetware, 2024)