Accelerated synthesis of neural network-based barrier certificates using collaborative learning

Jun Xia, Ming Hu, Xin Chen, Mingsong Chen