Intent
Pause the mission miss for m time instants. Then, resume it.
Template
PCTL
$
\mapping(\lit{pause}\ \terminal{m} \ \term{miss})= \LTLg^{[0,m]} \mapping(\neg \term{miss})
\wedge
(\LTLf^{[m+1,m+1]} (\mapping(\term{miss})))
$
Variations
Examples and Known Uses
robots move at 10 m/s and encounter a traffic signal at every 300 m whose waiting time is [..] [64]
Relationships
See the Timeout-deadline, End and Repeat patterns.