Bisimilar symbolic models for stochastic control systems without state-space discretization

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]

Authors

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google

Ilya Tkachev

This author has not been identified. Look up 'Ilya Tkachev' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google