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