CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, and average price problems for concavely-priced probabilistic timed automata for arbitrary initial states. We prove that these pro...
| Auteurs principaux: | , , , |
|---|---|
| Format: | Report |
| Publié: |
OUCL
2009
|