@misc{indiciae88747a9fa808, title = {Tight Continuous-Time Reachtubes for Lagrangian Reachability}, author = {Jacek Cyranka and Md. Ariful Islam and Scott A. Smolka and Sicun Gao and Radu Grosu}, year = {2018}, url = {https://arxiv.org/abs/1809.07450}, note = {Source identifier: 1809.07450} }