strategFTO: Untimed Control for Timed Opacity. - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (FTSCS, 2022)

Experimental data for paper "strategFTO: Untimed control for timed opacity". - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (Zenodo, 2022)