The formal verification of safety properties for hybrid systems is an important but challenging problem. Recently, barrier functions have been introduced to prove safety without requiring the ...