Specification Patterns for Robotic Missions

  1. Fair Visit

    Given a set of areas the robot(s) should visit all areas in a fair way.

  2. Ordered Visit

    Given a set of locations the robot should visit all the locations in order.

  3. Sequenced Visit

    Given a set of locations the robot should visit all the locations in sequence.

  4. Strict Ordered Visit

    Given a set of locations a the robot should visit all the locations following a strict order.

  5. Visit

    Given a set of locations the robot should visit all the locations.