TY - RPRT TI - Finite Uniform Bisimulations for Linear Systems with Finite Input Alphabets AU - Donglei Fan AU - Danielle C. Tarraf PY - 2015 UR - https://arxiv.org/abs/1510.04209 ID - 1510.04209 ER -