@inproceedings{tacas-JiZMM25,
  author       = {Chenxi Ji and Huan Zhang and Sayan Mitra},
  title        = {Reachability for Nonsmooth Systems with Lexicographic Jacobians},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 31st International Conference, {TACAS} 2025, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2025, Hamilton, Canada, 2025, Proceedings},
  year         = {2025},
}