학술논문
Stability Verification of Neural Network Controllers Using Mixed-Integer Programming
Document Type
Article
Author
Source
In: IEEE Transactions on Automatic Control . (IEEE Transactions on Automatic Control, 1 December 2023, 68(12):7514-7529)
Subject
Language
English
ISSN
15582523
00189286
00189286