Pages that link to "Item:Q896909"
From MaRDI portal
The following pages link to Multiphase until formulas over Markov reward models: an algebraic approach (Q896909):
Displaying 4 items.
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- An algebraic method to fidelity-based model checking over quantum Markov chains (Q2084946) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)