19 citations · 30 across the 4 of their papers we have counts for
1 paper · 2 filters
Jacek Cyranka, Md. Ariful Islam, Greg Byrne +3
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use…