Intent
Ensure that the measure m is higher/lower than the value v.
Template
PCTL
$
\mapping(\lit{achieve}\ \term{miss}\ \lit{with reliability}\ \terminal{m}\ \lit{greater/less than } \term{v})=
\mathcal{E}_{[v,\infty)}( \mapping(\term{miss}))$/$\mathcal{E}_{[0,v)}( \mapping(\term{miss}))
$
Variations
Examples and Known Uses
the robot is connected if it is able to reliably transfer information to the remote station [69]
Relationships
See the Confidently pattern.