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