Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

More Info
expand_more