Xin Chen 0002, Sriram Sankaranarayanan. Decomposed Reachability Analysis for Nonlinear Systems. In 2016 IEEE Real-Time Systems Symposium, RTSS 2016, Porto, Portugal, November 29 - December 2, 2016. pages 13-24, IEEE Computer Society, 2016. [doi]
Abstract is missing.