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

Jun Xia 0003 Ming Hu 0003 Xin Chen Mingsong Chen 0001 Accelerated synthesis of neural network-based barrier certificates using collaborative learning. 1201-1206 2022 DAC https://doi.org/10.1145/3489517.3530608 https://www.wikidata.org/entity/Q130968912 conf/dac/2022 db/conf/dac/dac2022.html#Xia0CC22