Majid Zamani, Ilya Tkachev, Alessandro Abate. Bisimilar symbolic models for stochastic control systems without state-space discretization. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 41-50, ACM, 2014. [doi]
@inproceedings{ZamaniTA14,
title = {Bisimilar symbolic models for stochastic control systems without state-space discretization},
author = {Majid Zamani and Ilya Tkachev and Alessandro Abate},
year = {2014},
doi = {10.1145/2562059.2562115},
url = {http://doi.acm.org/10.1145/2562059.2562115},
researchr = {https://researchr.org/publication/ZamaniTA14},
cites = {0},
citedby = {0},
pages = {41-50},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
editor = {Martin Fränzle and John Lygeros},
publisher = {ACM},
isbn = {978-1-4503-2732-9},
}