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

More Info
expand_more