TY  - RPRT
TI  - Integrated symbolic control design for nonlinear systems with infinite states specifications
AU  - Giordano Pola
AU  - Alessandro Borri
AU  - Maria D. Di Benedetto
PY  - 2010
UR  - https://arxiv.org/abs/1006.2853
ID  - 1006.2853
ER  -