503 search results - page 5 / 101 » Probabilistic Weighted Automata |
129
Voted
FORMATS
2008
Springer
15 years 5 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...
112
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
121
Voted
FORMATS
2009
Springer
15 years 10 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...
156
Voted
TCS
2010
14 years 10 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 ...
128
Voted
ECBS
2009
IEEE
15 years 10 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...