1: \begin{abstract}%   <- trailing '%' for backward compatibility of .sty file

2: 	Imprecise continuous-time Markov chains are a robust type of continuous-time Markov chains that allow for partially specified time-dependent parameters.

3: 	Computing inferences for them requires the solution of a non-linear differential equation.

4: 	As there is no general analytical expression for this solution, efficient numerical approximation methods are essential to the applicability of this model.

5: 	We here improve the uniform approximation method of \cite{2016Krak} in two ways and propose a novel and more efficient adaptive approximation method.

6: 	For ergodic chains, we also provide a method that allows us to approximate stationary distributions up to any desired maximal error.

7: 	%This method is highly dependent on the worst-case rate of convergence of the approximation.

8: \end{abstract}

9: