TY - RPRT TI - Actuator-Aware Spatiotemporal Tube Synthesis for Temporal Reach-Avoid-Stay Tasks AU - Keshab Patra AU - K Madhava Krishna PY - 2026 UR - https://arxiv.org/abs/2607.23040 ID - 2607.23040 ER -