TY  - RPRT
TI  - Incremental Affine Abstraction of Nonlinear Systems
AU  - Syed M. Hassaan
AU  - Mohammad Khajenejad
AU  - Spencer Jensen
AU  - Qiang Shen
AU  - Sze Zheng Yong
PY  - 2020
UR  - https://arxiv.org/abs/2004.01408
ID  - 2004.01408
ER  -