@misc{indiciae18461ae2d42a, title = {Time-Invariant Control Barrier Functions for Bounded STL Safety}, author = {Avinash Malik}, year = {2026}, url = {https://arxiv.org/abs/2609.29606}, note = {Source identifier: 2609.29606} }