Hui Kong, Ezio Bartocci, Yu Jiang 0001, Thomas A. Henzinger. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. In Étienne André, Mariëlle Stoelinga, editors, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Volume 11750 of Lecture Notes in Computer Science, pages 123-141, Springer, 2019. [doi]
@inproceedings{KongB0H19,
title = {Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty},
author = {Hui Kong and Ezio Bartocci and Yu Jiang 0001 and Thomas A. Henzinger},
year = {2019},
doi = {10.1007/978-3-030-29662-9_8},
url = {https://doi.org/10.1007/978-3-030-29662-9_8},
researchr = {https://researchr.org/publication/KongB0H19},
cites = {0},
citedby = {0},
pages = {123-141},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings},
editor = {Étienne André and Mariëlle Stoelinga},
volume = {11750},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-29662-9},
}