TY  - RPRT
TI  - Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
AU  - Ratnangshu Das
AU  - Subhodeep Choudhury
AU  - Pushpak Jagtap
PY  - 2025
DO  - 10.1109/lcsys.2025.3579761
UR  - https://arxiv.org/abs/2505.05323
ID  - 2505.05323
ER  -