@InProceedings{Erreygers2017ISIPTA,
  title = 	 {Imprecise Continuous-Time {M}arkov Chains: Efficient Computational Methods with Guaranteed Error Bounds},
  author = 	 {Alexander Erreygers and Jasper De Bock},
  booktitle = 	 {Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications},
  pages = 	 {145--156},
  year = 	 {2017},
  editor = 	 {Alessandro Antonucci and Giorgio Corani and Inés Couso and Sébastien Destercke},
  volume = 	 {62},
  series = 	 {Proceedings of Machine Learning Research},
  address = 	 {},
  month = 	 {10--14 Jul},
  publisher = 	 {PMLR},
  pdf = 	 {http://proceedings.mlr.press/v62/erreygers17a/erreygers17a.pdf},
  url = 	 {http://proceedings.mlr.press/v62/erreygers17a.html}
}