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]
