Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.”https://doi.org/10.1109/CDC42340.2020.9304042__In Proceedings of the 59th IEEE Conference on Decision and Control, 2020:1556–63. IEEE, 2020.https://doi.org/10.1109/CDC42340.2020.9304042 .