TY  - RPRT
TI  - Buffered control for opacity in timed automata
AU  - Étienne André
AU  - Sarah Dépernet
AU  - Engel Lefaucheux
PY  - 2026
UR  - https://arxiv.org/abs/2606.28170
ID  - 2606.28170
ER  -