Specification Patterns for Robotic Missions

  1. Lower Restricted Avoidance

    Applies when a restriction on the minimum number of occurrences is desired.

  2. Upper Restricted Avoidance

    Applied when a restriction on the maximum number of occurrences is desired.