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]
@inproceedings{BerendsenCJ09,
title = {Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata},
author = {Jasper Berendsen and Taolue Chen and David N. Jansen},
year = {2009},
doi = {10.1007/978-3-642-02017-9_16},
url = {http://dx.doi.org/10.1007/978-3-642-02017-9_16},
researchr = {https://researchr.org/publication/BerendsenCJ09},
cites = {0},
citedby = {0},
pages = {128-137},
booktitle = {Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings},
editor = {Jianer Chen and S. Barry Cooper},
volume = {5532},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02016-2},
}