Approximation-Free Control for Signal Temporal Logic Specifications Using Spatiotemporal Tubes. - Ratnangshu Das; Subhodeep Choudhury; Pushpak Jagtap (IEEE Control. Syst. Lett., 2025)