Computing Expected Hitting Times for Imprecise Markov Chains

Thomas Krak

We present a novel algorithm to solve a non-linear system of equations, whose solution can be interpreted as a tight lower bound on the vector of expected hitting times of a Markov…