Tillet, J. et al. 2025. Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes. Acta Cybernetica. (Nov. 2025). DOI:https://doi.org/10.14232/actacyb.315054.