Package jline.api.mc

Class Ctmc_stmonotone

java.lang.Object
jline.api.mc.Ctmc_stmonotone

public final class Ctmc_stmonotone extends Object
  • Method Details

    • ctmc_stmonotone

      public static Matrix ctmc_stmonotone(Matrix Q)
      Computes the stochastically monotone upper bound for a CTMC.
    • dtmc_stmonotone

      public static Matrix dtmc_stmonotone(Matrix P)
      Implementation of the dtmc_stmonotone algorithm.