55 search results - page 3 / 11 » Concavely-Priced Probabilistic Timed Automata |
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
TAMC
2009
Springer
14 years 23 days ago
2009
Springer
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
ECBS
2009
IEEE
14 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
FORMATS
2003
Springer
13 years 11 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...