中国科学院数学与系统科学研究院期刊网
Construction of Barrier Certificates for Neural Network Controlled Systems Based on Polynomial Abstraction
HUANG Cheng, LIN Wang
Journal of System Science and Mathematical Science Chinese Series . 2024, (): 0 .  DOI: 10.12341/jssms23619CM