赵恒军 夏曾 陈陶璐 刘志明0001 使用神经网络合成屏障证书。 25:1-25:11 2020 高速列车控制中心 https://doi.org/10.1145/3365365.3382222 conf/混合动力/2020 db/conf/hybrid/hscc2020.html#ZhaoZC020