Pages that link to "Item:Q547917"

The following pages link to Maximizing the probability of attaining a target prior to extinction (Q547917):

Displayed 2 items.

• The stochastic reach-avoid problem and set characterization for diffusions (Q290823) ‎ (← links)
• Quantitative model-checking of controlled discrete-time Markov processes (Q515573) ‎ (← links)