PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.

Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani

Browse the full CAV paper archive.