TY  - RPRT
TI  - Parametrization of completeness in symbolic abstraction of bounded input linear systems
AU  - Santosh Arvind Adimoolam
PY  - 2014
UR  - https://arxiv.org/abs/1402.3928
ID  - 1402.3928
ER  -