Canada’s tech scene is really taking off. It feels like every day there’s news about new companies, new jobs, and new ways technology is changing things. Big cities are becoming huge tech centers, ...

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 ...