Taking it to the limit: Approximate reasoning for Markov processes