The following pages link to (Q3806793):
Displaying 8 items.
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Probabilistic termination: soundness, completeness, and compositionality (Q2819834) (← links)
- Formalising Semantics for Expected Running Time of Probabilistic Programs (Q2829281) (← links)
- (Q4778698) (← links)
- Stochastic invariants for probabilistic termination (Q5370852) (← links)
- The probabilistic termination tool amber (Q6145021) (← links)
- New approaches for almost-sure termination of probabilistic programs (Q6166145) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)
