powered by
An S4 class for representing Imprecise Continuous Time Markovchains
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