391 search results - page 41 / 79 » Compositionality for Probabilistic Automata |
127
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
143
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
134
Voted
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
119
Voted
FSTTCS
2010
Springer
15 years 17 days ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
214
Voted
ENTCS
2006
15 years 2 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...