The following pages link to Miroslav Stankovič (Q2037945):
Displayed 6 items.
- Analysis of Bayesian networks via prob-solvable loops (Q2037946) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← 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)
- Distribution estimation for probabilistic loops (Q6103024) (← links)
- Solving invariant generation for unsolvable loops (Q6164420) (← links)