TY  - RPRT
TI  - Opacity problems in multi-energy timed automata
AU  - Étienne André
AU  - Lydia Bakiri
PY  - 2025
UR  - https://arxiv.org/abs/2512.04950
ID  - 2512.04950
ER  -