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

Jun Xia, Ming Hu, Xin Chen, Mingsong Chen

Browse the full DAC paper archive.