Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination

• Lisa Hutschenreiter, Christel Baier, Joachim Klein:
  Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination (GandALF'17, EPTCS)
• Lisa Hutschenreiter, Christel Baier, Joachim Klein:
  Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination (extended version, PDF)

Supplementary materials

• storm-gandalf17.zip (15MB):
  ZIP containing the source code of our implementation and models, properties and log files for experiments.
  Please have a look at the README in the ZIP for documentation.

List of publications of Prof. Baier's group