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 December 1, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4566.