Intent

Maximize the performance m while performing miss. "

Template

PCTL
$ \mapping(\term{r} \lit{accrue} \terminal{m} \lit{while} \term{miss})= $\mathcal{E}_{max=?}( \mapping(\term{miss})) $

Variations

This pattern can be extended by considering other quantitative measures, such as energy saving and utility.

Examples and Known Uses

the robot’s objective is to maximize its target classification performance at all the sites [..] [68]

Relationships

See the Preserve and Conserve patterns.