Formal Abstraction of General Stochastic Systems via Noise Partitioning | IEEE Journals & Magazine | IEEE Xplore