related documents Approximate Markovian abstractions for linear stochastic systems Conference Proceeding