Pages that link to "Item:Q3449623"
From MaRDI portal
The following pages link to Understanding Probabilistic Programs (Q3449623):
Displaying 8 items.
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
- Nearly Optimal Verifiable Data Streaming (Q2798786) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- Disintegration and Bayesian inversion via string diagrams (Q5243152) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
