Pages that link to "Item:Q896909"

The following pages link to Multiphase until formulas over Markov reward models: an algebraic approach (Q896909):

Displaying 3 items.

• Measuring the constrained reachability in quantum Markov chains (Q824285) (← 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)