An S4 class for representing Imprecise Continuous Time Markovchains

An S4 class for representing Imprecise Continuous Time Markovchains

Slots

states

a vector of states present in the ICTMC model

Q

matrix representing the generator demonstrated in the form of variables

range

a matrix that stores values of range of variables

name

name given to ICTMC