TY  - RPRT
TI  - Expiring opacity problems in parametric timed automata
AU  - Étienne André
AU  - Engel Lefaucheux
AU  - Dylan Marinho
PY  - 2024
DO  - 10.1109/iceccs59891.2023.00020
UR  - https://arxiv.org/abs/2403.07647
ID  - 2403.07647
ER  -