MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper).

Simon Wimmer, Johannes Hlzl

Browse the full ITP paper archive.