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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Report

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., Jun 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 29 p. (CTIT Technical Report Series; no. 06-26)
Research output: Book/Report › Report › Professional

Open Access
File
24 Citations (Scopus)

57 Downloads (Pure)