TY  - RPRT
TI  - Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
AU  - Laura Brandán Briones
AU  - Marcus Gerhold
AU  - Petra van den Bos
AU  - Mariëlle Stoelinga
PY  - 2025
UR  - https://arxiv.org/abs/2507.18205
ID  - 2507.18205
ER  -