Capability Models and Their Applications in Planning
An Automata-Theoretic Approach to Linear Temporal Logic