@misc{indiciae96da58accd06,
  title = {Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty},
  author = {Hui Kong and Ezio Bartocci and Yu Jiang and Thomas A. Henzinger},
  year = {2019},
  url = {https://arxiv.org/abs/1907.11514},
  note = {Source identifier: 1907.11514}
}