Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
Annual Review of Control, Robotics, and Autonomous Systems 2, 115–140
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Embedding Temporal Logic (ETL) performs runtime monitoring directly in learned embedding spaces using distance-based predicates composed with temporal operators, supported by conformal calibration for reliable predicate evaluation.
The paper formulates single-UAV medical delivery trajectory planning as a convex optimization problem that incorporates signal temporal logic for temporal constraints and convex feasible set collision avoidance for urban obstacles.
citing papers explorer
-
Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications
Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
-
Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
Embedding Temporal Logic (ETL) performs runtime monitoring directly in learned embedding spaces using distance-based predicates composed with temporal operators, supported by conformal calibration for reliable predicate evaluation.
-
Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
The paper formulates single-UAV medical delivery trajectory planning as a convex optimization problem that incorporates signal temporal logic for temporal constraints and convex feasible set collision avoidance for urban obstacles.