基于多项式抽象的神经网络控制系统的障碍函数构造

黄程, 林望

Construction of Barrier Certificates for Neural Network Controlled Systems Based on Polynomial Abstraction

HUANG Cheng, LIN Wang

系统科学与数学 . 2024, (): 0 . DOI: 10.12341/jssms23619CM