TY - RPRT TI - Time-Invariant Control Barrier Functions for Bounded STL Safety AU - Avinash Malik PY - 2026 UR - https://arxiv.org/abs/2609.29606 ID - 2609.29606 ER -