Formal Modeling and Verification for Web Service Composition. - Baojun Tian; Yanlin Gu (J. Softw., 2013)

Prescribed-time formation tracking in multi-agent systems via reinforcement learning-based hybrid impulsive control with time delays. - Zhanlue Liang; Yanlin Gu; Ping Li; Yiwen Tao (Expert Syst. Appl., 2025)