@misc{indiciae8e854cfae5f4,
  title = {PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems},
  author = {Alex Devonport and Mahmoud Khaled and Murat Arcak and Majid Zamani},
  year = {2020},
  url = {https://arxiv.org/abs/2001.10635},
  note = {Source identifier: 2001.10635}
}