Symmetry & Invariant Detection
Generate potential invariants and test them
- DISCOPLAN [Gerevini et. al.]
- Allows detection of higher-order mutexes
- Rintanen’s planner
- Uses model-verification techniques
- STAN/TIM
- Type analysis of the domain is used to generate invariants
- ONLP (Peot & Smith)
- Use operator graph analysis to eliminate non-viable choices