Reachability and Reward Checking for Stochastic Timed Automata

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns

Research output: Contribution to journalArticlepeer-review

20 Citations (Scopus)
43 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Reachability and Reward Checking for Stochastic Timed Automata'. Together they form a unique fingerprint.

Computer Science