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]
Abstract is missing.