TY  - RPRT
TI  - Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
AU  - Antoine Besset
AU  - Joris Tillet
AU  - Chuchu Fan
AU  - Julien Alexandre dit Sandretto
PY  - 2026
UR  - https://arxiv.org/abs/2609.09439
ID  - 2609.09439
ER  -