TY  - RPRT
TI  - Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems
AU  - Wei Ren
AU  - Dimos V. Dimarogonas
PY  - 2020
DO  - 10.23919/ecc.2019.8795730
UR  - https://arxiv.org/abs/2011.12811
ID  - 2011.12811
ER  -