Preprint
Sep 2026
Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
A logical dependency tracking framework that propagates uncertainty through the STL structure and captures the causal contribution of reachable sets to satisfaction and extract in milliseconds a compact Disjunctive Normal Form of sufficient constraints, avoiding combinatorial enumeration is introduced.
Antoine Besset, Joris Tillet, Chu-Chu Fan et al.
· 0 citations