Pages that link to "Item:Q3297595"
From MaRDI portal
The following pages link to Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595):
Displaying 11 items.
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- Generating functions for probabilistic programs (Q2119118) (← links)
- Automated termination analysis of polynomial probabilistic programs (Q2233477) (← links)
- Automatic Generation of Invariants for Circular Derivations in SUP(LA) (Q2891451) (← links)
- Automatic generation of non-linear loop invariants (Q3646570) (← links)
- Moment-based invariants for probabilistic loops with non-polynomial assignments (Q6103023) (← links)
- Distribution estimation for probabilistic loops (Q6103024) (← links)
- The probabilistic termination tool amber (Q6145021) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)
- Probabilistic program verification via inductive synthesis of inductive invariants (Q6536145) (← links)
- Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments (Q6639407) (← links)