This page shows all presentations of this author published in EasyChair Smart Slide.
Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Hui Kong, Ezio Bartocci and Thomas A. Henzinger