The following pages link to FM 2005: Formal Methods (Q5716917):
Displaying 6 items.
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Performance analysis of probabilistic action systems (Q1764427) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (Q2802489) (← links)
- The Complexity of Synthesis from Probabilistic Components (Q3449469) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)