Abstract: In this paper, we introduce a novel framework for simultaneously learning and verifying certificates for uncertain nonlinear control affine systems, utilizing robust control Lyapunov barrier ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results