Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
1998 ◽
Vol 145
(6)
◽
pp. 519-522
◽
Keyword(s):
1994 ◽
Vol 114
(5)
◽
pp. 595-602
◽
1997 ◽
Vol 103
(1)
◽
pp. 115
Keyword(s):