TY  - RPRT
TI  - Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
AU  - Majid Zamani
AU  - Alessandro Abate
AU  - Antoine Girard
PY  - 2014
UR  - https://arxiv.org/abs/1407.2730
ID  - 1407.2730
ER  -