@misc{indiciae8c6865c5cc2f,
  title = {Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes},
  author = {Ratnangshu Das and Subhodeep Choudhury and Pushpak Jagtap},
  year = {2025},
  doi = {10.1109/lcsys.2025.3579761},
  url = {https://arxiv.org/abs/2505.05323},
  note = {Source identifier: 2505.05323}
}