Dit onderzoek betreft het ontwikkelen van een theoretisch kader, en efficiente algoritmen, voor imprecieze continue-tijd Markov ketens. The imprecisie slaat op de parameters van het model, die niet exact gespecifieerd
moeten worden. Dit leidt tot meer robuuste en betrouwbare resultaten. De motivatie komt voort uit de populariteit van traditionele Markov ketens, en het stijgend maatschappelijk belang van robuustheid en betrouwbaarheid.