WP2: Abstraction-Based Model Reduction CAP WP2 consists of four workpackages. WP2.T1: Probabilistic Hybrid Models [PKU] WP2.T2: Counterexamples [RWTH] WP2.T3: Symbolic Data Structures [ALU] WP2.T4: Probabilistic CEGAR [THU]
