J. Tillet, A. Besset, and J. Alexandre dit Sandretto, “Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes”, Acta Cybern, Nov. 2025.