Probabilistic CEGAR
Abstract elided by the publisher.
Related papers
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025
- Applying CEGAR to the Petri Net State Equation TACAS 2011
- Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR SAS 2015
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013