Tillet, Joris, Antoine Besset, and Julien Alexandre dit Sandretto. “Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes”. Acta Cybernetica (November 26, 2025). Accessed February 5, 2026. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4566.