Pages that link to "Item:Q5096098"
From MaRDI portal
The following pages link to Finding Polynomial Loop Invariants for Probabilistic Programs (Q5096098):
Displaying 7 items.
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595) (← links)
- Moment-based invariants for probabilistic loops with non-polynomial assignments (Q6103023) (← links)
- Distribution estimation for probabilistic loops (Q6103024) (← links)
- Probabilistic program verification via inductive synthesis of inductive invariants (Q6536145) (← links)