503 search results - page 5 / 101 » Probabilistic Weighted Automata |
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
TCS
2010
13 years 3 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
ECBS
2009
IEEE
14 years 3 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...