Contribute to ramanujds/ust-global-2023 development by creating an account on GitHub.
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