"Model Checking Polygonal Differential Inclusions Using Invariance Kernels."

Gordon J. Pace, Gerardo Schneider (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics