Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications

Open in new window