TY  - RPRT
TI  - Minimal witnesses for probabilistic timed automata
AU  - Simon Jantsch
AU  - Florian Funke
AU  - Christel Baier
PY  - 2020
UR  - https://arxiv.org/abs/2007.00637
ID  - 2007.00637
ER  -