Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.

Hui Kong, Ezio Bartocci, Thomas A. Henzinger

Browse the full CAV paper archive.