Symbolic control of stochastic switched systems via finite abstractions

More Info
expand_more