TY  - RPRT
TI  - strategFTO: Untimed control for timed opacity
AU  - Étienne André
AU  - Shapagat Bolat
AU  - Engel Lefaucheux
AU  - Dylan Marinho
PY  - 2022
DO  - 10.1145/3563822.3568013
UR  - https://arxiv.org/abs/2211.14233
ID  - 2211.14233
ER  -