TY  - RPRT
TI  - Backward Reachability using Integral Quadratic Constraints for Uncertain Nonlinear Systems
AU  - He Yin
AU  - Peter Seiler
AU  - Murat Arcak
PY  - 2020
UR  - https://arxiv.org/abs/2003.05617
ID  - 2003.05617
ER  -