Papers

  1. Counter-example Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems

  2. Hybridization for stability verification of nonlinear switched systems