Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata

Jasper Berendsen, Taolue Chen, David N. Jansen. Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. In Jianer Chen, S. Barry Cooper, editors, 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, Springer, 2009. [doi]

Abstract

Abstract is missing.