WP3: Approaches for Parametrized Systems

CAP WP3 consists of four workpackages.

  • WP3.T1: Parametric Markov Automata with Rewards [SAU]
  • WP3.T2: Parameter Synthesis for Probabilistic Hybrid Automata [PKU]
  • WP3.T3: Polynomial Reduction Techniques for Parameter Synthesis [ALU]
  • WP3.T4: Repairing Markov Automata [ISCAS]