Pages that link to "Item:Q4930741"
From MaRDI portal
The following pages link to Linear-Invariant Generation for Probabilistic Programs: (Q4930741):
Displayed 12 items.
- Toward automatic verification of quantum programs (Q667515) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Approximate counting in SMT and value estimation for probabilistic programs (Q1683928) (← links)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Probabilistic Lipschitz analysis of neural networks (Q2233541) (← links)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Conditioning in probabilistic programming (Q5971400) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)