@misc{indiciae834fa32097c0,
  title = {Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking},
  author = {Antoine Besset and Joris Tillet and Chuchu Fan and Julien Alexandre dit Sandretto},
  year = {2026},
  url = {https://arxiv.org/abs/2609.09439},
  note = {Source identifier: 2609.09439}
}