Darboux-type barrier certificates for safety verification of nonlinear hybrid systems | IEEE Conference Publication | IEEE Xplore