Computation of parametric barrier functions for dynamical systems using interval analysis
Keyword(s):