@inproceedings{8d190d3fc2f742d5a48a88b7e094f93c,
title = "Bisimilar finite abstractions of stochastic control systems",
author = "M Zamani and {Mohajerin Esfahani}, P and R Majumdar and A Abate and J. Lygeros",
note = "NEO; IEEE CDC 2013, Florence, Italy ; Conference date: 10-12-2013 Through 13-12-2013",
year = "2013",
doi = "10.1109/CDC.2013.6760489",
language = "English",
isbn = "978-1-4673-5714-2",
publisher = "IEEE",
pages = "3926--3931",
editor = "AL Tits and A Serrani and T Parisini",
booktitle = "Proceedings of the IEEE 52nd Annual Conference on Decisions and Control",
address = "United States",
}