TY - RPRT TI - Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes AU - Ratnangshu Das AU - Subhodeep Choudhury AU - Pushpak Jagtap PY - 2025 UR - https://arxiv.org/abs/2510.19595 ID - 2510.19595 ER -