Tillet, J., Besset, A., & Alexandre dit Sandretto, J. (2025). Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes. Acta Cybernetica. https://doi.org/10.14232/actacyb.315054