TY  - RPRT
TI  - Symbolic control of stochastic systems via approximately bisimilar finite abstractions
AU  - Majid Zamani
AU  - Peyman Mohajerin Esfahani
AU  - Rupak Majumdar
AU  - Alessandro Abate
AU  - John Lygeros
PY  - 2013
UR  - https://arxiv.org/abs/1302.3868
ID  - 1302.3868
ER  -