Specification Patterns for Robotic Missions

  1. Past Avoidance

    Requires a condition to not occur until another condition is satisfied.