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, Vol. 44 ›› Issue (5) : 1224-1240.
Construction of Barrier Certificates for Neural Network Controlled Systems Based on Polynomial Abstraction
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |