TY  - RPRT
TI  - Backwards Reachability for Probabilistic Timed Automata: A Replication Report
AU  - Arnd Hartmanns
AU  - Bram Kohlen
PY  - 2022
UR  - https://arxiv.org/abs/2208.11928
ID  - 2208.11928
ER  -