Reachability for Nonsmooth Systems with Lexicographic Jacobians.

Chenxi Ji, Huan Zhang, Sayan Mitra

Browse the full TACAS paper archive.