Citation:Li, Y. , & Liu, J. . (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation. IFAC-PapersOnLine, 48(27), 1-6. Retrieved from https://doi.org/10.1016/j.ifacol.2015.11.144Download CitationBibTex Tagged XML Abstract:Notes:Publisher's Version