Hierarchical Model Predictive Control for Multi-Robot Navigation. - Chao Huang 015; Xin Chen 027; Yifan Zhang 005; Shengchao Qin; Yifeng Zeng; Xuandong Li (IJCAI, 2016)

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. - Chao Huang 015; Xin Chen 027; Yifan Zhang 005; Shengchao Qin; Yifeng Zeng; Xuandong Li (IJCAI, 2017)

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. - Yifan Zhang 005; Zhengfeng Yang; Wang Lin; Huibiao Zhu; Xin Chen 027; Xuandong Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. - Qingye Zhao; Xin Chen 027; Yifan Zhang 005; Meng Sha; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (HSCC, 2021)

Verifying Neural Network Controlled Systems Using Neural Networks. - Qingye Zhao; Xin Chen 027; Zhuoyu Zhao; Yifan Zhang 005; Enyi Tang; Xuandong Li (HSCC, 2022)