Model Checking Longitudinal Control in Vehicle Platoon Systems. - Cong Peng 004; Marcello M. Bonsangue; Zhongwei Xu (IEEE Access, 2019)

Towards More Efficient Local Search for Pseudo-Boolean Optimization. - Yi Chu; Shaowei Cai 001; Chuan Luo 002; Zhendong Lei; Cong Peng 004 (CP, 2023)