TY - RPRT TI - Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization AU - Thomas Claudet AU - Davide Martire AU - Damiana Losa AU - Francesco Sanfedino AU - Daniel Alazard PY - 2023 DO - 10.1016/j.ifacsc.2024.100286 UR - https://arxiv.org/abs/2310.13938 ID - 2310.13938 ER -