Pages that link to "Item:Q4635928"
From MaRDI portal
The following pages link to Reasoning about Recursive Probabilistic Programs (Q4635928):
Displaying 22 items.
- Runtime analysis of probabilistic programs with unbounded recursion (Q743128) (← links)
- Inferring covariances for probabilistic programs (Q1693100) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy (Q2177476) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems (Q2272985) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- (Q2763684) (← links)
- Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (Q2802489) (← links)
- (Q3347262) (← links)
- A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
- Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms (Q4625651) (← links)
- Probabilistic programming inference via intensional semantics (Q6070788) (← links)
- Model Checking Temporal Properties of Recursive Probabilistic Programs (Q6137848) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)
- On Lexicographic Proof Rules for Probabilistic Termination (Q6488476) (← links)
- Certificates for probabilistic pushdown automata via optimistic value iteration (Q6536144) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)