8 search results - page 2 / 2 » Smoothed model checking for uncertain Continuous-Time Markov... |
FORMATS
2007
Springer
13 years 8 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
RP
2009
Springer
13 years 11 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...