Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.

Jasper Berendsen, Taolue Chen, David N. Jansen

Browse the full TAMC paper archive.