TY  - RPRT
TI  - Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
AU  - A Djaballah
AU  - Alexandre Chapoutot
AU  - Michel Kieffer
AU  - O Bouissou
PY  - 2015
UR  - https://arxiv.org/abs/1506.05885
ID  - 1506.05885
ER  -