TY  - RPRT
TI  - Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
AU  - Shaohang Han
AU  - Joris Verhagen
AU  - Jana Tumova
PY  - 2025
UR  - https://arxiv.org/abs/2511.07375
ID  - 2511.07375
ER  -