TY  - RPRT
TI  - Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
AU  - Hui Kong
AU  - Ezio Bartocci
AU  - Yu Jiang
AU  - Thomas A. Henzinger
PY  - 2019
UR  - https://arxiv.org/abs/1907.11514
ID  - 1907.11514
ER  -