Open murrellb opened 10 months ago
RobustCTMC tries to set up a DiagonalizedCTMC, but if that fails, it falls back upon the GeneralCTMC. Not sure if this will mess up the type stability, but hopefully this won't be an issue.
RobustCTMC tries to set up a DiagonalizedCTMC, but if that fails, it falls back upon the GeneralCTMC. Not sure if this will mess up the type stability, but hopefully this won't be an issue.