TY  - RPRT
TI  - PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
AU  - Alex Devonport
AU  - Mahmoud Khaled
AU  - Murat Arcak
AU  - Majid Zamani
PY  - 2020
UR  - https://arxiv.org/abs/2001.10635
ID  - 2001.10635
ER  -