@inproceedings{267cb2c4a8d1410498439b18af523007,
title = "Symbolic models for randomly switched stochastic systems",
author = "M Zamani and A Abate",
year = "2014",
doi = "10.1109/ACC.2014.6858937",
language = "English",
isbn = "978-1-4799-3272-6",
publisher = "IEEE Society",
pages = "2291--2296",
editor = "D Tilbury and G Balas and {Zhang et al}, F",
booktitle = "Proceedings of the American Control Conference 2014",
note = "ACC 2014, Portland, USA ; Conference date: 04-06-2014 Through 06-06-2014",
}