TY  - RPRT
TI  - Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation
AU  - Wei Ren
AU  - Dimos V. Dimarogonas
PY  - 2020
DO  - 10.1016/j.automatica.2020.108828
UR  - https://arxiv.org/abs/2011.12824
ID  - 2011.12824
ER  -