Approximate abstractions of stochastic systems: a randomized method

More Info
expand_more