TY  - RPRT
TI  - Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems
AU  - Wei Ren
AU  - Dimos V. Dimarogonas
PY  - 2020
DO  - 10.1109/cdc40024.2019.9029665
UR  - https://arxiv.org/abs/2011.12816
ID  - 2011.12816
ER  -