Goal: To find the states from which a target C⊆KC can be reached while respecting the constraints K.
Input: Ensemble de contraintes K, cible C, dynamique F
Output: Capture_F(C, K)
1. Capture := C
2. Repeat
a. Pour chaque x ∈ K \ Capture
i. Existe-t-il une trajectoire x → x' ∈ Capture via F(x) ?
ii. Si oui, ajouter x à Capture
3. Until stabilité
4. Return Capture