@misc{indiciaed8ec3671ce18,
  title = {Execution-time opacity control for timed automata},
  author = {Étienne André and Marie Duflot and Laetitia Laversa and Engel Lefaucheux},
  year = {2025},
  doi = {10.1007/978-3-031-77382-2\_20},
  url = {https://arxiv.org/abs/2409.10336},
  note = {Source identifier: 2409.10336}
}