Model checking polygonal differential inclusions using invariance kernels (2003)

by G Pace, G Schneider
Venue:In VMCAI’04, number 2937 in LNCS