TY - RPRT TI - SparseMax-dSTL: Sound Robustness with Horizon-Independent Gradient Allocation for Temporal Logic Trajectory Optimization AU - Sai Sandeep Damera AU - Ryan Matheu AU - John S. Baras AU - Calin Belta PY - 2026 UR - https://arxiv.org/abs/2610.23837 ID - 2610.23837 ER -