Approximate abstractions of stochastic systems: a randomized method
More Info
expand_more
expand_more