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]