Approximate Markovian abstractions for linear stochastic systems | IEEE Conference Publication | IEEE Xplore