Tillet, Joris, Antoine Besset, and Julien Alexandre dit Sandretto. 2025. “Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes”. Acta Cybernetica, November. https://doi.org/10.14232/actacyb.315054.