PASS: Abstraction Refinement for Infinite Probabilistic Models
Abstract elided by the publisher.
Related papers
- Abstraction refinement guided by a learnt probabilistic model POPL 2016
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems TACAS 2016
- A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer-Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction ICFP 2024
- Abstraction Refinement for Probabilistic Software VMCAI 2009
- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages ESOP 2024
- Probabilistic Refinement Session Types PLDI 2025
- Probabilistic CTL*: The Deductive Way TACAS 2016