Details for the publication BerendsenCJ09.

Jasper Berendsen, Taolue Chen (), David N. Jansen (): Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. In Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, volume 5532 of Lecture Notes in Computer Science, pages 128-137, 2009. DOI BIB