Pages that link to "Item:Q2272918"
From MaRDI portal
The following pages link to Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities (Q2272918):
Displayed 8 items.
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Generating functions for probabilistic programs (Q2119118) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Hybrid statistical estimation of mutual information and its application to information flow (Q2414250) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← 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)