Model Checking Polygonal Differential Inclusions Using Invariance Kernels.

Gordon J. Pace, Gerardo Schneider

Browse the full VMCAI paper archive.