@article{van2006study,
	title={A study of the matrix exponential},
	author={Van Loan, Charles F.},
	year={2006},
	publisher={Manchester Institute for Mathematical Sciences, University of Manchester}
}

@book{taylor1958introduction,
	title={Introduction to functional analysis},
	author={Taylor, Angus E. and Lay, David C.},
	volume={1},
	year={1958},
	publisher={Wiley New York}
}

@article{feller1953generation,
	title={On the generation of unbounded semi-groups of bounded linear operators},
	author={Feller, William},
	journal={Annals of Mathematics},
	pages={166--174},
	year={1953},
	publisher={JSTOR}
}

@article{de2017limit,
	title={The limit behaviour of imprecise continuous-time {M}arkov chains},
	author={De Bock, Jasper},
	journal={Journal of Nonlinear Science},
	volume={27},
	number={1},
	pages={159--196},
	year={2017},
	publisher={Springer}
}

@article{skulj2015efficient,
	title={Efficient computation of the bounds of continuous time imprecise {M}arkov chains},
	author={{\v{S}}kulj, Damjan},
	journal={Applied mathematics and computation},
	volume={250},
	pages={165--180},
	year={2015},
	publisher={Elsevier}
}

@book{norris1998markov,
	title={Markov chains},
	author={Norris, James Robert},
	year={1998},
	publisher={Cambridge university press}
}

@phdthesis{krak2021phd,
	title={Continuous-Time Imprecise-{M}arkov Chains: Theory and Algorithms},
	author={Krak, Thomas},
	year={2021},
	school={Ghent University}
}

@phdthesis{erreygers2021phd,
	title={Markovian Imprecise Jump Processes: Foundations, Algorithms and Applications},
	author={Erreygers, Alexander},
	year={2021},
	school={Ghent University}
}

@inproceedings{krak2020computing,
	title={Computing expected hitting times for imprecise {M}arkov chains},
	author={Krak, Thomas},
	booktitle={International Conference on Uncertainty Quantification \& Optimisation},
	pages={185--205},
	year={2020},
	organization={Springer}
}

@book{engelnagel2000semigroupslinearee,
	title={One-parameter semigroups for linear evolution equations},
	author={Engel, Klaus-Jochen and Nagel, Rainer},
	volume={194},
	year={2000},
	publisher={Springer}
}


@book{renardyrogers2004intropde,
	title={An introduction to partial differential equations},
	author={Renardy, Michael and Rogers, Robert C.},
	year={2006},
	publisher={Springer Science \& Business Media}
}

@article{krak2017imprecise,
	title={Imprecise continuous-time {M}arkov chains},
	author={Krak, Thomas and De Bock, Jasper and Siebes, Arno},
	journal={International Journal of Approximate Reasoning},
	volume={88},
	pages={452--528},
	year={2017},
	publisher={Elsevier}
}

@inproceedings{de2021sum,
	title={Sum-product laws and efficient algorithms for imprecise {M}arkov chains},
	author={De Bock, Jasper and Erreygers, Alexander and Krak, Thomas},
	booktitle={Uncertainty in Artificial Intelligence},
	pages={1476--1485},
	year={2021},
	organization={PMLR}
}

@book{trivedi2016prob,
	title={Probability and Statistics with Reliability, Queueing, and Computer Science Applications},
	author={Trivedi, Kishor S.},
	isbn={9780471460817},
	year={2016},
	publisher={Wiley}
}

@book{Walley:1991vk,
author = {Walley, Peter},
title = {{Statistical Reasoning with Imprecise Probabilities}},
publisher = {Chapman and Hall},
year = {1991},
address = {London}
}

@article{Cozman:2012fc,
author = {Cozman, Fabio G.},
title = {{Sets of probability distributions, independence, and convexity}},
journal = {Synthese},
year = {2012},
volume = {186},
number = {2},
pages = {577--600}
}


@BOOK{augustin2013:itip,
title = {Introduction to Imprecise Probabilities},
publisher = {John Wiley \& Sons},
year = {2014},
editor = {Augustin, Thomas and Coolen, Frank P. A. and de Cooman, Gert and Troffaes, Matthias C. M.},
owner = {gert},
timestamp = {2011.11.03}
}


@incollection{itip:stochasticprocesses,
author      = "Filip Hermans and Damjan {\v{S}}kulj",
title       = "Stochastic processes",
chapter     = 11,
editor = {Augustin, Thomas and Coolen, Frank P. A. and de Cooman, Gert and Troffaes, Matthias C. M.},
booktitle     = "Introduction to Imprecise Probabilities",
year      = "2014",
publisher = "Wiley"
}


@article{deCooman:2008km,
author = {{\VAN{De~Cooman}{De}{de}}~Cooman, Gert and Hermans, Filip},
title = {{Imprecise probability trees: Bridging two theories of imprecise probability}},
journal = {Artificial Intelligence},
year = {2008},
volume = {172},
number = {11},
pages = {1400--1427},
month = jul
}


@book{hartfiel1998markov,
title={{Markov} Set-Chains},
author={Hartfiel, Darald J.},
isbn={9783540647751},
lccn={98029369},
year={1998},
publisher={Springer}
}


@Article{skulj2009discrete,
title={Discrete time {M}arkov chains with interval probabilities},
author={{\v{S}}kulj, Damjan},
journal={International Journal of Approximate Reasoning},
pages={1314--1329},
volume={50},
year={2009},
publisher={Elsevier}
}

@InProceedings{2019TJoens,
author="T'Joens, Natan
and Krak, Thomas
and De~Bock, Jasper
and {\VAN{De~Cooman}{De}{de}}~Cooman, Gert",
title="A Recursive Algorithm for Computing Inferences in Imprecise {M}arkov Chains",
booktitle="ECSQARU 2019: Symbolic and Quantitative Approaches to Reasoning with Uncertainty",
year="2019",
publisher="Springer",
pages="455--465",
doi="10.1007/978-3-030-29765-7_38"
}

@article{2013Chen,
title = {On the complexity of model checking interval-valued discrete time {M}arkov chains},
journal = {Information Processing Letters},
volume = {113},
number = {7},
pages = {210-216},
year = {2013},
doi = {10.1016/j.ipl.2013.01.004},
author = {Taolue Chen and Tingting Han and Marta Kwiatkowska},
}

@book{2008Baier-Princliples,
author = {Baier, Christel and Katoen, Joost-Pieter},
title = {Principles of Model Checking},
year = {2008},
publisher = {MIT Press},
}

@article{2012Katoen,
title = {Three-valued abstraction for probabilistic systems},
journal = {The Journal of Logic and Algebraic Programming},
volume = {81},
number = {4},
pages = {356--389},
year = {2012},
doi = {10.1016/j.jlap.2012.03.007},
author = {Katoen, Joost-Pieter and Klink, Daniel and Leucker, Martin and Wolf, Verena},
}

@misc{tjoens2021average,
title={Average Behaviour in Discrete-Time Imprecise {M}arkov Chains: {A} Study of Weak Ergodicity},
author={T'Joens, Natan and De~Bock, Jasper},
year={2021},
eprint={2102.04793},
archivePrefix={arXiv},
primaryClass={math.PR},
note={arXiv:2102.04793 [math.PR]}
}

@InProceedings{krak2019hitting,
title = {Hitting Times and Probabilities for Imprecise {M}arkov Chains},
author = {Krak, Thomas and T'Joens, Natan and De~Bock, Jasper},
booktitle = {Proceedings of ISIPTA 2019},
pages = {265--275},
year = {2019},
volume = {103},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
eprint={1905.08781},
archivePrefix={arXiv},
primaryClass={math.PR}
}