Project

Imprecise continuous-time Markov chains