1 paper
A Djaballah, Alexandre Chapoutot, Michel Kieffer +1
Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, whi…