TY  - RPRT
TI  - Verification of Parametric Markov Automata under Time-bounded Reachability
AU  - Kevin van de Glind
AU  - Matthias Volk
AU  - Tim Willemse
PY  - 2026
UR  - https://arxiv.org/abs/2606.21444
ID  - 2606.21444
ER  -