Abstraction Refinement for Probabilistic Software
No abstract available.
Related papers
- PASS: Abstraction Refinement for Infinite Probabilistic Models TACAS 2010
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025
- Abstraction refinement guided by a learnt probabilistic model POPL 2016
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Contextual Refinement of Higher-Order Concurrent Probabilistic Programs PLDI 2026
- Software Model Checking with Abstraction Refinement VMCAI 2003