Probably on time and within budget: on reachability in priced probabilistic timed automata

Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen

Research output: Book/Report › Report › Professional

24 Citations (Scopus)

59 Downloads (Pure)

24 Citations
1 Conference contribution

1 results

Filter

2006
Probably on time and within budget: On reachability in priced probabilistic timed automata
Berendsen, J., Jansen, D. N. & Katoen, J.-P., Sept 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST 2006). Los Alamitos, CA: IEEE, p. 311-322 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review