Specification Patterns for Robotic Missions
Pattern Catalog
Research
PsALM
Requirements Collection
Evaluation
Authors
Specification Patterns for Robotic Missions
Past Avoidance
Requires a condition to not occur until another condition is satisfied.