Intent
Achieve miss and ensure that confidence m is higher/lower than v.
Template
PCTL
$\mapping(\lit{achieve}\ \term{miss}\ \lit{with confidence}\ \terminal{m}\ \lit{greater/less than } \term{v})=\mathcal{L}_{> v}(\mapping(\term{miss})) / \mathcal{L}_{< v}(\mapping(\term{miss}))$
Variations
Examples and Known Uses
in 95% of mission executions, the robot achieves its mission [70]
Relationships
See the Reliably pattern.